A Lindström characterisation of the guarded fragment and of modal logic with a global modality. (English) Zbl 1244.03070
Areces, Carlos (ed.) et al., Advances in modal logic. Vol. 7. Proceedings of the 7th conference (AiML 2008), Nancy, France, September 9–12, 2008. London: College Publications (ISBN 978-1-904987-68-0/pbk). 273-287 (2008).
Summary: We establish a Lindström type characterisation of the extension of basic modal logic by a global modality (ML[\(\forall\)]) 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.
For the entire collection see [Zbl 1200.03008].
For the entire collection see [Zbl 1200.03008].
MSC:
| 03B45 | Modal logic (including the logic of norms) |
