Bisimulations for temporal logic

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 modal and temporal logic  expressive power  model theory  definability
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1008223921944
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 31,871
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
A ModalWalk Through Space.Marco Aiello & Johan van Benthem - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):319-363.

Add more citations

Similar books and articles
Bisimulations and Predicate Logic.Tim Fernando - 1994 - Journal of Symbolic Logic 59 (3):924-944.
Logical Consecutions in Discrete Linear Temporal Logic.V. V. Rybakov - 2005 - Journal of Symbolic Logic 70 (4):1137 - 1149.
An Interpretation of Default Logic in Minimal Temporal Epistemic Logic.Joeri Engelfriet & Jan Treur - 1998 - Journal of Logic, Language and Information 7 (3):369-388.
The Logic of Peirce Algebras.Maarten De Rijke - 1995 - Journal of Logic, Language and Information 4 (3):227-250.
Adding a Temporal Dimension to a Logic System.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
Added to PP index
2009-01-28

Total downloads
32 ( #182,837 of 2,231,923 )

Recent downloads (6 months)
2 ( #265,272 of 2,231,923 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature