Journal of Logic, Language and Information

TitleBisimulations for Temporal Logic
Publication TypeJournal Article
Year of Publication1997
AuthorsKurtonina, N, De Rijke, M
JournalJournal of Logic, Language and Information
Volume6
Number4
Pagination403–425
ISSN0925-8531
Keywordsdefinability, expressive power, modal and temporal logic, model theory
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.

DOI10.1023/A:1008223921944
Citation KeyKurtonina:1997:BTL:595833.595898