Abstract
Modal reduction principles (MRPs) are modal formulas of the following form: Mp → Np, where M, N are (possibly empty) sequences of modal operators (i.e. □ or ◊). The notation M, N will be used to abbreviate such an MRP. We study a certain semantic correspondence between modal formulas and relational properties and obtain two main results. (1) On transitive semantic structures every MRP corresponds to a first-order relational property. (2) For the general case a syntactic criterion exists for distinguishing modal formulas with corresponding first-order properties from the others.
Publisher
Cambridge University Press (CUP)
Reference4 articles.
1. Sahlqvist H. , Completeness and correspondence in the first and second order semantics for modal logic, revised version of cand. real.-thesis submitted to the University of Oslo, Department of Mathematics, Spring 1973.
2. A correlation between modal reduction principles and properties of relations
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献