论文信息 - A Lindström characterisation of the guarded fragment and of modal logic with a global modality

A Lindström characterisation of the guarded fragment and of modal logic with a global modality

We establish a Lindstrom type characterisation of the exten- sion of basic modal logic by a global modality (ML(8)) and of the guarded fragment of first-order logic (GF) as maximal among compact logics with the corresponding bisimulation invariance and the Tarski Union Property.

Robert Piro | Martin Otto | Martin Otto | R. Piro | M. Otto

[1] J.F.A.K. van Benthem,et al. Modal logic and classical logic , 1983 .

[2] R. A. Bull. Review: Johan van Benthem, Modal Logic and Classical Logic , 1987 .

[3] M. de Rijke. Extending modal logic , 1993 .

[4] M. de Rijke,et al. A Lindström theorem for modal logic , 1994 .

[5] M. de Rijke,et al. Modal Logic and Process Algebra: A Bisimulation Perspective , 1996 .

[6] Johan van Benthem,et al. Modal Languages and Bounded Fragments of Predicate Logic , 1998, J. Philos. Log..

[7] Erich Grädel,et al. On the Restraining Power of Guards , 1999, Journal of Symbolic Logic.

[8] Martin Otto,et al. Back and forth between guarded and modal logics , 2002, TOCL.

[9] Martin Otto. Modal and guarded characterisation theorems over finite transition systems , 2004, Ann. Pure Appl. Log..

[10] Johan van Benthem,et al. A New Modal Lindström Theorem , 2007, Logica Universalis.

[11] Johan van Benthem,et al. Lindstrom theorems for fragments of first-order logic , 2007, 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).

[12] Valentin Goranko,et al. Model theory of modal logic , 2007, Handbook of Modal Logic.

[13] Johan van Benthem,et al. Lindstrom theorems for fragments of first-order logic , 2007, LICS.