Talk by Jon Barwise and Lawrence S. Moss
Modal Correspondence for Models
This paper is a contribution to correspondence theory. Usually, results
in this area pertain to frames and modal formulas. In contrast, we have
Theorem Let A be a modal formula and C a first-order correspondent
for A. Then for all *models* M, the following are equivalent:
- M satisfies all substitution instances of A in infinitary
modal logic
- M is bisimilar to a model which satisfies C
We prove other correspondence results, and we also have new results on
infinitary modal logic and its connection to non-wellfounded sets.
Paul Dekker, November 2, 1995