Future temporal logic needs innitely many modalities
by Yoram Hirshfeld, Alexander Rabinovich
http://www.math.tau.ac.il/~rabinoa/future1.ps.gz
Add To MetaCart
Abstract:
Kamp's theorem states that there is a temporal logic with two modalities ("until" and "since") which is expressively complete for the rst order monadic logic of order over the real line. In this paper we show that there is no temporal logic with nitely many modalities which is expressively complete for the future fragment of rst order monadic logic of order over the real line (a future formula over the real time line is a formula whose truth value at a point is independent of what happened in the past). 1
Citations
| 210 | On the temporal analysis of fairness – Gabbay, Pnueli, et al. - 1980 |
| 162 | Logics and models of real time: A survey – Alur, Henzinger - 1992 |
| 147 | Temporal Logic – Gabbay, Hodkinson, et al. - 1994 |
| 145 | An application of games to the completeness problem for formalized theory. Fundamenta Mathematicae – Ehrenfeucht - 1961 |
| 143 | Sometimes” and “Not Never” revisited: on branching versus linear time temporal logic – Emerson, Clarke - 1986 |
| 27 | It’s about time: real-time logics reviewed – Henzinger |
| 2 | Rabinovich.Monadic Logic of Order over Naturals Has no Finite Base – Beauquier, A |
