Bisimulations for Temporal Logic
| Title | Bisimulations for Temporal Logic |
| Publication Type | Journal Article |
| Year of Publication | 1997 |
| Authors | Kurtonina, N, De Rijke, M |
| Journal | Journal of Logic, Language and Information |
| Volume | 6 |
| Number | 4 |
| Pagination | 403–425 |
| ISSN | 0925-8531 |
| Keywords | definability, 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. |
| DOI | 10.1023/A:1008223921944 |
| Citation Key | Kurtonina:1997:BTL:595833.595898 |