Axiomatisation and decidability off andp in cyclical time
Journal of Philosophical Logic 23 (2):197 - 224 (1994)
| Abstract | We present a Hilert style axiomatisation for the set of formulas in the temporal language withF andP which are valid over non-transitive cyclical flows of time.We also give a simpler axiomatisation using the slightly controversial irreflexivity rule and go on to prove the decidability of any temporal logic over cyclical time provided it uses only connectives with first-order tables. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesRobert Goldblatt (1982). The Semantics of HOARE's Iteration Rule. Studia Logica 41 (2-3):141 - 158.
Mark Reynolds (1992). An Axiomatization for Until and Since Over the Reals Without the IRR Rule. Studia Logica 51 (2):165 - 193.
John F. DeCarlo (2010). The Poisoning of Hamlet's Temporal Subjectivity. Journal of Philosophy: A Cross-Disciplinary Inquiry 5 (12):30-40.
Bert Mosselmans (2005). Time and Value in the History of Political Economy. Foundations of Science 10 (3).
Marcelo Finger & Dov M. Gabbay (1992). Adding a Temporal Dimension to a Logic System. Journal of Logic, Language and Information 1 (3):203-233.
Igor Walukiewicz (1996). A Note on the Completeness of Kozen's Axiomatisation of the Propositional Μ-Calculus. Bulletin of Symbolic Logic 2 (3):349-366.
Ayda I. Arruda & Newton C. A. Costa (1984). On the Relevant Systemsp Andp* and Some Related Systems. Studia Logica 43 (1-2):33 - 49.
Márta Somogyvári (2009). Time and Responsibility. World Futures 65 (5):342-355.
Ian Hodkinson (2002). Monodic Packed Fragment with Equality is Decidable. Studia Logica 72 (2):185-197.
Mark Reynolds (1996). Axiomatising First-Order Temporal Logic: Until and Since Over Linear Time. Studia Logica 57 (2-3):279 - 302.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,982 of 549,551 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
