Decidable fragments of first-order tempo
β
Ian Hodkinson; Frank Wolter; Michael Zakharyaschev
π
Article
π
2000
π
Elsevier Science
π
English
β 342 KB
In this paper, we introduce a new fragment of the ΓΏrst-order temporal language, called the monodic fragment, in which all formulas beginning with a temporal operator (Since or Until) have at most one free variable. We show that the satisΓΏability problem for monodic formulas in various linear time st