Academic
Publications
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,Martin Otto,Robert Piro

A Lindström characterisation of the guarded fragment and of modal logic with a global modality   (Citations: 2)
BibTex | RIS | RefWorks Download
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.
Conference: Advances in Modal Logic - AIML , pp. 273-287, 2008
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
Sort by: