Modal correspondence for models

Journal of Philosophical Logic 27 (3):275-294 (1998)
  Copy   BIBTEX


This paper considers the correspondence theory from modal logic and obtains correspondence results for models as opposed to frames. The key ideas are to consider infinitary modal logic, to phrase correspondence results in terms of substitution instances of a given modal formula, and to identify bisimilar model-world pairs



    Upload a copy of this work     Papers currently archived: 94,439

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Modeltheoretic Aspects.W. Conradie, V. Goranko & D. Vakarelov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 17-51.
Proofs and Expressiveness in Alethic Modal Logic.Maarten de Rijke & Heinrich Wansing - 2002 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Malden, MA, USA: Wiley-Blackwell. pp. 422–441.


Added to PP

57 (#277,375)

6 months
12 (#312,707)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Larry Moss
Indiana University

Citations of this work

Coalgebraic logic.Lawrence S. Moss - 1999 - Annals of Pure and Applied Logic 96 (1-3):277-317.
Finite models constructed from canonical formulas.Lawrence S. Moss - 2007 - Journal of Philosophical Logic 36 (6):605 - 640.

Add more citations

References found in this work

No references found.

Add more references