Bisimulations for temporal logic

被引：20

作者：

Kurtonina N. ^{[1
]}

De Rijke M. ^{[2
]}

机构：

[1] Center for Logic, Ghent University, 9000 Ghent

[2] Department of Computer Science, University of Warwick

来源：

Journal of Logic, Language and Information | 1997年 / 6卷 / 4期

关键词：

Definability; Expressive power; Modal and temporal logic; Model theory;

D O I：

10.1023/A:1008223921944

中图分类号：

学科分类号：

摘要：

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. © 1997 Kluwer Academic Publishers.

引用

页码：403 / 425

页数：22

共 23 条

[1]

Andreka H., Van Benthem J., Nemeti I., Back and forth between modal logic and classical logic, Journal of the IGPL, 3, pp. 685-720, (1995)

[2]

Van Benthem J., Language in Action, Studies in Logic, 131, (1991)

[3]

Van Benthem J., Bergstra J., Logic of transition systems, Journal of Logic, Language and Information, 3, pp. 247-283, (1994)

[4]

Van Benthem J., Van Eijck J., Stebletsova V., Modal logic, transition systems and processes, Journal of Logic and Computation, 4, pp. 811-855, (1994)

[5]

Berarducci A., The interpretability logic of Peano Arithmetic, Journal of Symbolic Logic, 55, pp. 1059-1089, (1990)

[6]

Burgess J.P., Axioms for tense logic I, Notre Dame Journal of Formal Logic, 23, pp. 367-374, (1982)

[7]

Chang C.C., Keisler H.J., Model Theory, (1973)

[8]

De Nicola R., Vaandrager F., Three logics for branching bisimulation, Journal of the Association for Computing Machinery, 42, pp. 458-487, (1995)

[9]

Van Eijck J., Jaspars J., De Rijke M., The Logic of Minimal Change, (1996)

[10]

Fine K., Some connections between modal and elementary logic, Proc. Third Scandinavian Logic Symposium, pp. 15-31, (1975)

← 1 2 3 →