Axiomatising first-order temporal logic: Until and since over linear time
Studia Logica 57 (2-3):279 - 302 (1996)
| Abstract | We present an axiomatisation for the first-order temporal logic with connectives Until and Since over the class of all linear flows of time. Completeness of the axiom system is proved.We also add a few axioms to find a sound and complete axiomatisation for the first order temporal logic of Until and Since over rational numbers time. | |||||||||
| 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,705 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesFrank Wolter & Michael Zakharyaschev (2005). A Logic for Metric and Topology. Journal of Symbolic Logic 70 (3):795 - 828.
AmÃlcar Sernadas, Cristina Sernadas & Carlos Caleiro (1997). Synchronization of Logics. Studia Logica 59 (2):217-247.
D. M. Gabbay & G. Malod (2002). Naming Worlds in Modal and Temporal Logic. Journal of Logic, Language and Information 11 (1):29-65.
Yves Lafont (1996). The Undecidability of Second Order Linear Logic Without Exponentials. Journal of Symbolic Logic 61 (2):541-548.
V. V. Rybakov (2005). Logical Consecutions in Discrete Linear Temporal Logic. Journal of Symbolic Logic 70 (4):1137 - 1149.
Joeri Engelfriet & Jan Treur (2002). Linear, Branching Time and Joint Closure Semantics for Temporal Logic. Journal of Logic, Language and Information 11 (4):389-425.
Stefano Aguzzoli, Matteo Bianchi & Vincenzo Marra (2009). A Temporal Semantics for Basic Logic. Studia Logica 92 (2):147 - 162.
Heinrich Wansing & Norihiro Kamide (2011). Synchronized Linear-Time Temporal Logic. Studia Logica 99 (1-3):365-388.
Mark Reynolds (1994). Axiomatisation and Decidability Off Andp in Cyclical Time. Journal of Philosophical Logic 23 (2):197 - 224.
Marcelo Finger & Dov M. Gabbay (1992). Adding a Temporal Dimension to a Logic System. Journal of Logic, Language and Information 1 (3):203-233.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads22 ( #56,255 of 549,367 )Recent downloads (6 months)3 ( #25,790 of 549,367 )How can I increase my downloads? |
My notes
Discussion
