Abstract
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.
Similar content being viewed by others
References
Blackburn, P., M. De Rijke, and Y. Venema, Modal Logic, Cambridge University Press, 2001.
Fagin, R., J. Y. Halpern, Y. Moses, and M. Y. Vardi, Reasoning about Knowledge, MIT Press, 1995.
Gabbay, D., and V. Shehtman, 'Products of modal logics, part 1', Logic Journal of the IGPL 6:73-146, 1998.
Gabbay, D., and V. Shehtman, 'Products of modal logics, part 2', Logic Journal of the IGPL 8:165-210, 2000.
Gabbay, D., A. Kurucz, F. Wolter, and M. Zakharyaschev, Many-Dimensional Modal Logics: Theory and Applications, Studies in Logic, Elsevier, to appear.
GrÄdel, E., P. Kolaitis, and M. Vardi, 'On the decision problem for two-variable first order logic', Bulletin of Symbolic Logic 3:53-69, 1997.
Marx, M., 'Complexity of products of modal logics', Journal of Logic and Computation 9:221-238, 1999.
Marx, M., and Sz. MikulÁs, 'Decidability of cylindric set algebras of dimension two and first-order logic with two variables', Journal of Symbolic Logic 64:1563-1572, 1999.
Marx, M., and Sz. MikulÁs, 'Products, or how to create modal logics of high complexity', Logic Journal of the IGPL 9:77-88, 2001.
Reynolds, M., 'A decidable logic of parallelism', Notre Dame Journal of Formal Logic 38:419-436, 1997.
Reynolds, M., and M. Zakharyaschev, 'On the products of linear modal logics', Journal of Logic and Computation 11(6): 909-931, December 2001.
Scott, D., 'A decision method for validity of sentences in two variables', Journal of Symbolic Logic 27:477, 1962.
Segerberg, K., 'Two-dimensional modal logic', Journal of Philosophical Logic 2:77-96, 1973.
Wolter, F., 'The product of converse PDL and polymodal K', Journal of Logic and Computation 10:223-251, 2000.
Wolter, F., and M. Zakharyaschev, 'Satisfiability problem in description logics with modal operators', In Proceedings of KR-98 (eds.: A.G. Cohn, L. Schubert, S.C. Shapiro), Morgan Kaufman, 1998, pp. 512-523.
Wolter, F., and M. Zakharyaschev, 'Modal description logics: modalizing roles', Fundamenta Informaticae 39:411-438, 1999.
Wolter, F., and M. Zakharyaschev, 'Spatio-temporal representation and reasoning based on RCC-8', In Proceedings of KR-2000, Morgan Kaufman, 2000, pp. 3-14.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Marx, M., Mikulás, S. An Elementary Construction for a Non-elementary Procedure. Studia Logica 72, 253–263 (2002). https://doi.org/10.1023/A:1021312628326
Issue Date:
DOI: https://doi.org/10.1023/A:1021312628326