Bisimulations for Temporal Logic

Authors:
Natasha Kurtonina;Maarten De Rijke
Affiliations:
Center for Logic, Ghent University, Rozier 44, 9000 Ghent, Belgium (E-mail: natasha.kurtonina@rug.ac.be);Department of Computer Science, University of Warwick, Coventry CV4 7AL, England (E-mail: mdr@dcs.warwick.ac.uk)
Venue:
Journal of Logic, Language and Information
Year:
1997

Citing 4
Cited 4

Algebraic laws for nondeterminism and concurrency

Journal of the ACM (JACM)
The temporal logic of reactive and concurrent systems

The temporal logic of reactive and concurrent systems
Three logics for branching bisimulation

Journal of the ACM (JACM)
Modal model theory

Modal model theory

Extensive Games as Process Models

Journal of Logic, Language and Information
Encoding two-valued nonclassical logics in classical logic

Handbook of automated reasoning
Expressiveness of concept expressions in first-order description logics

Artificial Intelligence
On characterization, definability and ω-saturated models

ICTAC'11 Proceedings of the 8th international conference on Theoretical aspects of computing

Quantified Score

Hi-index	0.00

Visualization

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.