Monodic Fragments of First-Order Temporal Logics: 2000–2001 A.D [chapter]

Ian Hodkinson, Frank Wolter, Michael Zakharyaschev
2001 Lecture Notes in Computer Science  
Outline of talk Most propositional temporal logics are decidable. But the decision problem in predicate (first-order) temporal logics has seemed near-hopeless.
doi:10.1007/3-540-45653-8_1 fatcat:pqavraufgva2vl6icvm7om6yby