Modal Correspondence for Models |
| |
Authors: | Jon Barwise Lawrence S Moss |
| |
Institution: | (1) Dept. of Mathematics Indiana University, USA |
| |
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: | |
本文献已被 SpringerLink 等数据库收录! |