Abstract
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.
Similar content being viewed by others
REFERENCES
Barwise, J. and van Benthem, J.: 1996, Interpolation, preservation, and pebble games, ILLC preprint ML–96–12 (August 1996).
Barwise, J. and Moss, L. S.: 1996, Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena. CSLI Publications, Stanford.
Benthem, J. v.: 1984, Modal correspondence theory, in D. Gabbay and F. Guenther (eds.) Handbook of Philosophical Logic, vol. 2, Reidel, 167–247.
Benthem, J. v.: 1985, Modal Logic and Classical Logic. Bibliopolis, Naples.
Benthem, J. v.: 1996, Exploring Logical Dynamics. Studies in Logic, Language, and Information, CSLI Publications, Stanford.
Sahlqvist, H.: 1975, Completenessand correspondence in the first and second order semantics for modal logic, in S. Kanger (ed.), Proc. of the Third Scandinavian Logic Symposium, North. Holland, Amsterdam, 110–143.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Barwise, J., Moss, L.S. Modal Correspondence for Models. Journal of Philosophical Logic 27, 275–294 (1998). https://doi.org/10.1023/A:1004268613379
Issue Date:
DOI: https://doi.org/10.1023/A:1004268613379