Modal Correspondence for Models
- Cite this article as:
- Barwise, J. & Moss, L.S. Journal of Philosophical Logic (1998) 27: 275. doi:10.1023/A:1004268613379
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.