An Elementary Construction for a Non-elementary Procedure

We consider the problem of the product finite model property for binary products of modal logics. First we give a new proof for the product finite model property of the logic of products of Kripke frames, a result due to Shehtman. Then we modify the proof to obtain the same result for logics of products of Kripke frames satisfying any combination of seriality, reflexivity and symmetry. We do not consider the transitivity condition in isolation because it leads to infinity axioms when taking products.

[1]  Maarten Marx,et al.  Complexity of Products of Modal Logics , 1999, J. Log. Comput..

[2]  Krister Segerberg,et al.  Two-dimensional modal logic , 1973, J. Philos. Log..

[3]  Maarten Marx,et al.  Products, or How to Create Modal Logics of High Complexity , 2001, Log. J. IGPL.

[4]  Richard Spencer-Smith,et al.  Modal Logic , 2007 .

[5]  Frank Wolter.  The product of converse PDL and polymodal K , 2000, J. Log. Comput..

[6]  D. Gabbay,et al.  Many-Dimensional Modal Logics: Theory and Applications , 2003 .

[7]  Frank Wolter,et al.  Satis ability problem in description logics with modal operators , 1998 .

[8]  Mark Reynolds,et al.  A Decidable Temporal Logic of Parallelism , 1997, Notre Dame J. Formal Log..

[9]  Maarten Marx,et al.  Decidability of Cylindric Set Algebras of Dimension Two and First-Order Logic with Two Variables , 1999, J. Symb. Log..

[10]  Frank Wolter,et al.  Spatio-temporal representation and reasoning based on RCC-8 , 2000, International Conference on Principles of Knowledge Representation and Reasoning.

[11]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[12]  Phokion G. Kolaitis,et al.  On the Decision Problem for Two-Variable First-Order Logic , 1997, Bulletin of Symbolic Logic.

[13]  Michael Zakharyaschev,et al.  On the Products of Linear Modal Logics , 2001, J. Log. Comput..

[14]  Dov M. Gabbay,et al.  Products of Modal Logics, Part 1 , 1998, Log. J. IGPL.

[15]  Frank Wolter,et al.  Modal Description Logics: Modalizing Roles , 1999, Fundam. Informaticae.

[16]  Dov M. Gabbay,et al.  Products of modal logics. Part 2: Relativised quantifiers in classical logic , 2000, Log. J. IGPL.