Modal correspondence for models

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

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
Keywords Philosophy
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1004268613379
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 45,629
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Finite Models Constructed From Canonical Formulas.Lawrence S. Moss - 2007 - Journal of Philosophical Logic 36 (6):605 - 640.
Coalgebraic logic.Lawrence S. Moss - 1999 - Annals of Pure and Applied Logic 96 (1-3):277-317.

Add more citations

Similar books and articles

Elementary Classes in Basic Modal Logic.Holger Sturm - 2000 - Studia Logica 64 (2):193-213.
Sequent-Systems and Groupoid Models. I.Kosta Došen - 1988 - Studia Logica 47 (4):353 - 385.
Sequent-Systems and Groupoid Models. II.Kosta Došen - 1989 - Studia Logica 48 (1):41 - 65.
Modal Logic Over Finite Structures.Eric Rosen - 1997 - Journal of Logic, Language and Information 6 (4):427-439.
Grafted Frames and S1 -Completeness.Beihai Zhou - 1999 - Journal of Symbolic Logic 64 (3):1324-1338.

Analytics

Added to PP index
2009-01-28

Total views
40 ( #221,246 of 2,280,568 )

Recent downloads (6 months)
6 ( #190,873 of 2,280,568 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature