Abstract
In this paper we consider the normal modal logics of elementary classes defined by first-order formulas of the form \({\forall x_0 \exists x_1 \dots \exists x_n \bigwedge x_i R_\lambda x_j}\). We prove that many properties of these logics, such as finite axiomatisability, elementarity, axiomatisability by a set of canonical formulas or by a single generalised Sahlqvist formula, together with modal definability of the initial formula, either simultaneously hold or simultaneously do not hold.
Similar content being viewed by others
References
Balbiani P., Shapirovsky I., Shehtman V.: Every world can see a Sahlqvist world. Advances in Modal Logic 6, 69–85 (2006)
van Benthem, J., Modal formulas are either elementary or not \({{\Sigma\Delta}}\)-elementary. Journal of Symbolic Logic 41(2):436–438, 1976.
Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic. Cambridge University Press, Cambridge, 2002.
Bulian, J., Exploring canonical axiomatisations of representable cylindric algebras, final year project at Imperial College London, Department of Computing, 2011.
Bulian J., Hodkinson I.: Bare canonicity of representable cylindric and polyadic algebras. Annals of Pure and Applied Logic 164(9), 884–906 (2013)
Chagrov, A., and L. Chagrova, The truth about algorithmic problems in correspondence theory. Advances in Modal Logic 6:121–138, 2006.
Chagrova L.: An undecidable problem in correspondence theory. Jounal of Symbolic Logic 56(4), 1261–1272 (1991)
Gabbay, D., A. Kurucz, F. Wolter, and M. Zakharyaschev, Many-dimensional modal logics: theory and applications, vol. 148 of Studies in Logic and the Foundations of Mathematics, Elsevier, Amsterdam, 2003.
Gabbay, D., and V.Shehtman, Products of modal logics, part 1. Journal of the IGPL 6:73–146, 1998.
Goldblatt, R., Mathematics of modality, vol. 43 of Lecture Notes, CSLI Publications, Standford, CA, 1993.
Goldblatt, R., and I. Hodkinson, The McKinsey–Lemmon logic is barely canonical. The Australasian Journal of Logic 5:1–19, 2007.
Goranko, V., and D. Vakarelov, Elementary canonical formulae: extending Sahlqvist’s theorem. Annals of Pure and Applied Logic 141(1–2):180–217, 2006.
Hemaspaandra, E., and H. Schnoor, On the complexity of elementary modal logics, in Symposium on Theoretical Aspects of Computer Science, 2008, pp. 349–360.
Hodkinson I.: Hybrid formulas and elementarily generated modal logics. Notre Dame Journal of Formal Logic 47(4), 443–478 (2006)
Hodkinson, I., and Y. Venema, Canonical varieties with no canonical axiomatisation. Transactions of the American Mathematical Society 357:4579–4605, 2003.
Hughes, G., Every world can see a reflexive world. Studia Logica: An International Journal for Symbolic Logic 49:175–181, 1990.
Keisler, H., and C. Chang, Model Theory, 3rd ed., Elsevier Science publishers, Amsterdam, 1990.
Kikot, S., An extension of Kracht’s theorem to generalized Sahlqvist formulas. Journal of Applied Non-Classical Logic 19/2:227–251, 2009.
Kikot, S., On modal definability of Horn formulas, in Topology, Algebra and Categories in Logic, Marseille, 2011, pp. 175–178.
Kikot S., Zolin E.: Modal definability of first-order formulas with free variables and query answering. Journal of Applied Logic 11, 190–216 (2013)
Kracht, M., How completeness and correspondence theory got married, in M. de Rijke (ed.), Diamonds and Defaults, Synthese Library, Kluwer, Dordrecht, 1993, pp. 175–214.
Kracht, M., Tools and Techniques in Modal Logic, Studies in Logic and the Foundations of Mathematics, Elsevier, Amsterdam, 1999.
Kurucz, A., On axiomatising products of Kripke frames, part II, in C. Areces and R. Goldblatt (eds.), Advances in Modal Logic, vol. 7, King’s College Publications, London, 2008, pp. 219–230.
Kurucz A.: On the complexity of modal axiomatisations over many-dimensional structures. Advances in Modal Logic 8, 256–270 (2010)
Kurucz, A., F. Wolter, and M. Zakharyaschev, Islands of tractability for relational constraints: Towards dichotomy results for the description logic EL. Advances in Modal Logic 8:271–291, 2010.
Maksimova, L., V. Shehtman, and D. Skvortsov, The impossibility of a finite axiomatization of Medvedevs logic of finitary problems. Soviet Mathematics Doklady, 20:394–398, 1979.
Michaliszyn, J., and J. Otop, Decidable elementary modal logics, in LICS, 2012, pp. 491–500.
Vakarelov D.: Modal definability in languages with a finite number of propositional variables and a new extension of the Sahlqvist’s class. Advances in Modal Logic 4, 499–518 (2002)
Vakarelov, D., Extended Sahlqvist formulae and solving equations in modal algebras, in 12-th International Congress of Logic Methodology and Philosophy of Science, August 7–13, Abstracts, Oviedo, Spain, 2003, p. 33.
Venema Y.: Canonical pseudo-correspondence. Advances in Modal Logic 2, 421–430 (1998)
Zolin, E., Query answering based on modal correspondence theory, in Proceedings of the 4th “Methods for modalities” Workshop (M4M-4), 2005, pp. 21–37.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Kikot, S. A Dichotomy for Some Elementarily Generated Modal Logics. Stud Logica 103, 1063–1093 (2015). https://doi.org/10.1007/s11225-015-9611-6
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-015-9611-6