Bisimulations for temporal logic
Journal of Logic, Language and Information 6 (4):403-425 (1997)
| Abstract | We define bisimulations for temporal logic with Since and Until. This new notion is compared to existing notions of bisimulations, and then used to develop the basic model theory of temporal logic with Since and Until. Our results concern both invariance and definability. We conclude with a brief discussion of the wider applicability of our ideas. | |||||||||
| 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,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJohn P. Burgess (2009). Philosophical Logic. Princeton University Press.
Tim Fernando (1994). Bisimulations and Predicate Logic. Journal of Symbolic Logic 59 (3):924-944.
AmÃlcar Sernadas, Cristina Sernadas & Carlos Caleiro (1997). Synchronization of Logics. Studia Logica 59 (2):217-247.
Mark Reynolds (1996). Axiomatising First-Order Temporal Logic: Until and Since Over Linear Time. Studia Logica 57 (2-3):279 - 302.
V. V. Rybakov (2005). Logical Consecutions in Discrete Linear Temporal Logic. Journal of Symbolic Logic 70 (4):1137 - 1149.
Joeri Engelfriet & Jan Treur (1998). An Interpretation of Default Logic in Minimal Temporal Epistemic Logic. Journal of Logic, Language and Information 7 (3):369-388.
Seiki Akama, Yasunori Nagata & Chikatoshi Yamada (2008). Three-Valued Temporal Logic Q T and Future Contingents. Studia Logica 88 (2):215 - 231.
Maarten De Rijke (1995). The Logic of Peirce Algebras. Journal of Logic, Language and Information 4 (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.
Tomohiro Hoshi & Audrey Yap (2009). Dynamic Epistemic Logic with Branching Temporal Structures. Synthese 169 (2):259 - 281.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads10 ( #106,370 of 549,122 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
