We show that every modal logic (with arbitrary many modalities of arbitrary arity) can be seen as a multi-dimensional modal logic in the sense of Venema. This result shows that we can give every modal logic a uniform "concrete" semantics, as advocated by Henkin et al. This can also be obtained using the unravelling method described by de Rijke. The advantage of our construction is that the obtained class of frames is easily seen to be elementary and that the worlds have a more uniform character.
References
Bull, R., and K. Segerberg, “Basic modal logic,” pp. 1–88 in Handbook of Philosophical Logic, vol. 2, edited by D. M. Gabbay and F. Günther, Reidel, Dordrecht, 1984. Zbl 0875.03045 MR 844596 Bull, R., and K. Segerberg, “Basic modal logic,” pp. 1–88 in Handbook of Philosophical Logic, vol. 2, edited by D. M. Gabbay and F. Günther, Reidel, Dordrecht, 1984. Zbl 0875.03045 MR 844596
de Rijke, M., Extending Modal Logic, Ph.D. thesis, Institute for Logic, Language and Computation, Universiteit van Amsterdam, 1993. 0797.03014 10.1007/BF01051767 de Rijke, M., Extending Modal Logic, Ph.D. thesis, Institute for Logic, Language and Computation, Universiteit van Amsterdam, 1993. 0797.03014 10.1007/BF01051767
Henkin, L., J. D. Monk, and A. Tarski, Cylindric Algebras, Parts I & II, North-Holland, Amsterdam, 1985. Zbl 0576.03042 Zbl 0576.03043 MR 86m:03095a MR 86m:03095b 0576.03043 Henkin, L., J. D. Monk, and A. Tarski, Cylindric Algebras, Parts I & II, North-Holland, Amsterdam, 1985. Zbl 0576.03042 Zbl 0576.03043 MR 86m:03095a MR 86m:03095b 0576.03043
Kramer, R., “Relativized relation algebras,” pp. 293–349 in Algebraic Logic, edited by H. Andréka, J. D. Monk, and I. Németi, North-Holland, Amsterdam, 1991. Zbl 0749.03047 MR 93c:03081 Kramer, R., “Relativized relation algebras,” pp. 293–349 in Algebraic Logic, edited by H. Andréka, J. D. Monk, and I. Németi, North-Holland, Amsterdam, 1991. Zbl 0749.03047 MR 93c:03081
Maddux, R. D., “Some varieties containing relation algebras,” Transactions of the American Mathematical Society, vol. 272 (1982), pp. 501–526. Zbl 0515.03039 MR 84a:03079 Maddux, R. D., “Some varieties containing relation algebras,” Transactions of the American Mathematical Society, vol. 272 (1982), pp. 501–526. Zbl 0515.03039 MR 84a:03079
Sahlqvist, H., “Completeness and correspondence in the first and second order semantics for modal logic,” pp. 110–143 in Proceedings of the Third Scandinavian Logic Symposium Uppsala 1973, edited by S. Kanger, North-Holland, Amsterdam, 1975. Zbl 0319.02018 MR 52:7855 Sahlqvist, H., “Completeness and correspondence in the first and second order semantics for modal logic,” pp. 110–143 in Proceedings of the Third Scandinavian Logic Symposium Uppsala 1973, edited by S. Kanger, North-Holland, Amsterdam, 1975. Zbl 0319.02018 MR 52:7855
van Benthem, J., Language in Action (Categories, Lambdas and Dynamic Logic), Studies in Logic vol. 130, North-Holland, Amsterdam, 1991. Zbl 0717.03001 MR 92g:03002 0717.03001 van Benthem, J., Language in Action (Categories, Lambdas and Dynamic Logic), Studies in Logic vol. 130, North-Holland, Amsterdam, 1991. Zbl 0717.03001 MR 92g:03002 0717.03001
van Benthem, J., “A note on dynamic arrow logics,” pp. 15–29 in Logic and Information Flow, edited by J. van Eijck and A. Visser, MIT Press, Cambridge, 1994. MR 1 295 058 van Benthem, J., “A note on dynamic arrow logics,” pp. 15–29 in Logic and Information Flow, edited by J. van Eijck and A. Visser, MIT Press, Cambridge, 1994. MR 1 295 058
Venema, Y., Many-Dimensional Modal Logic, PhD thesis, Institute for Logic, Language and Computation, Universiteit van Amsterdam, 1991. 0744.03022 10.1093/logcom/1.4.453 Venema, Y., Many-Dimensional Modal Logic, PhD thesis, Institute for Logic, Language and Computation, Universiteit van Amsterdam, 1991. 0744.03022 10.1093/logcom/1.4.453
