Bisimulations for Temporal Logic |
| |
Authors: | Natasha Kurtonina Maarten de Rijke |
| |
Affiliation: | (1) Center for Logic, Ghent University, Rozier 44, 9000 Ghent, Belgium;(2) Department of Computer Science, University of Warwick, Coventry, CV4 7AL, England |
| |
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 |
本文献已被 SpringerLink 等数据库收录! |
|