Bisimulations for temporal logic

Journal of Logic, Language and Information 6 (4):403-425 (1997)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,569

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Adding a Temporal Dimension to a Logic System.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
The Logic of Peirce Algebras.Maarten De Rijke - 1995 - Journal of Logic, Language and Information 4 (3):227-250.
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.
Logical Consecutions in Discrete Linear Temporal Logic.V. V. Rybakov - 2005 - Journal of Symbolic Logic 70 (4):1137 - 1149.
Bisimulations and Predicate Logic.Tim Fernando - 1994 - Journal of Symbolic Logic 59 (3):924-944.

Analytics

Added to PP
2009-01-28

Downloads
34 (#341,006)

6 months
1 (#418,511)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Extensive Games as Process Models.Johan van Benthem - 2002 - Journal of Logic, Language and Information 11 (3):289-313.
A ModalWalk Through Space.Marco Aiello & Johan van Benthem - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):319-363.
A Note on Graded Modal Logic.Maarten de Rijke - 2000 - Studia Logica 64 (2):271-283.
A History Based Logic for Dynamic Preference Updates.Can Başkent & Guy McCusker - 2020 - Journal of Logic, Language and Information 29 (3):275-305.

View all 7 citations / Add more citations

References found in this work

The Interpretability Logic of Peano Arithmetic.Alessandro Berarducci - 1990 - Journal of Symbolic Logic 55 (3):1059-1089.
A System of Dynamic Modal Logic.Maarten de Rijke - 1998 - Journal of Philosophical Logic 27 (2):109-142.
Logic of Transition Systems.Johan Van Benthem & Jan Bergstra - 1994 - Journal of Logic, Language and Information 3 (4):247-283.
A System of Dynamic Modal Logic.Maarten de Rijke - 1998 - Journal of Philosophical Logic 27 (2):109 - 142.
Modal Model Theory.Maarten De Rijke - forthcoming - Annals of Pure and Applied Logic.

View all 6 references / Add more references