Modal characterisation theorems over special classes of frames

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 2005, Pages 21-30

  Dawar, Anuj ^a   Otto, Martin ^b  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

^b DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; GAME THEORY; SIMULATION; THEOREM PROVING;

BENTHEM'S THEOREM; BISIMULATION GAME; GAME-BASED ANALYSIS; MODAL LOGIC;

MODAL ANALYSIS;

EID: 26844562539     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. P. Blackburn, M. de Rijke, and Y. Venema. Modal Logic. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 2001.
2. H.-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer, 2nd edition, 1999.
3. H.-D. Ebbinghaus, J. Flum, and W. Thomas. Mathematical Logic. Springer, 1994.
4. H. Gaifman. On local and nonlocal properties. In J. Stern, editor, Logic Colloquium '81, pages 105-135. North Holland, 1982.
5. V. Goranko and M. Otto. Model Theory of Modal Logic. In preparation for: Handbook of Modal Logic, 2005.
6. D. Janin and I. Walukiewicz. On the expressive completeness of the prepositional mu-calculus with respect to monadic second order logic. In Proceedings of 7th International Conference on Concurrency Theory CONCUR '96, number 1119 in Lecture Notes in Computer Science, pages 263-277. Springer-Verlag, 1996.
7. M. Otto. Elementary proof of the van Benthem-Rosen characterisation theorem. Technical Report 2342, Department of Mathematics, Darmstadt University of Technology, 2004.
8. M. Otto. Modal and guarded characterisation theorems over finite transition systems. Annals of Pure and Applied Logic, 130:173-205, 2004.
9. E. Rosen. Modal logic over finite structures. Journal of Logic, Language and Information, 6:427-439, 1997.
10. J. van Benthem. Modal Logic and Classical Logic. Bibliopolis, Napoli, 1983.