Jon, Barwise; Lawrence, Moss
Modal Correspondence for Models
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.
http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.pngJournal of Philosophical LogicSpringer Journalshttp://www.deepdyve.com/lp/springer-journals/modal-correspondence-for-models-0mz1qElH4c