Notre Dame Journal of Formal Logic

Hybrid Formulas and Elementarily Generated Modal Logics

Ian Hodkinson

Abstract

We characterize the modal logics of elementary classes of Kripke frames as precisely those modal logics that are axiomatized by modal axioms synthesized in a certain effective way from "quasi-positive" sentences of hybrid logic. These are pure positive hybrid sentences with arbitrary existential and relativized universal quantification over nominals. The proof has three steps. The first step is to use the known result that the modal logic of any elementary class of Kripke frames is also the modal logic of the closure of this class under disjoint unions, generated subframes, bounded morphic images, and ultraroots. This latter class can be defined by the first-order sentences of a special syntactic form (called pseudo-equations by Goldblatt) that are valid in the former class. The second step is to translate these pseudo-equations into equivalent quasi-positive hybrid sentences. In the third and main step, we show that any quasi-positive sentence S generates an infinite set of modal formulas called "approximants," which together axiomatize a canonical modal logic that is sound and complete for the class of frames validating S. The proof is analogous to standard proofs of Sahlqvist's theorem. It generalizes to sets of quasi-positive sentences. The main result now follows.

Article information

Source
Notre Dame J. Formal Logic, Volume 47, Number 4 (2006), 443-478.

Dates
First available in Project Euclid: 9 January 2007

Permanent link to this document
https://projecteuclid.org/euclid.ndjfl/1168352661

Digital Object Identifier
doi:10.1305/ndjfl/1168352661

Mathematical Reviews number (MathSciNet)
MR2272082

Zentralblatt MATH identifier
1211.03036

Subjects
Primary: 03B45: Modal logic (including the logic of norms) {For knowledge and belief, see 03B42; for temporal logic, see 03B44; for provability logic, see also 03F45}

Keywords
canonical modal logic elementary frame class Sahlqvist theorem hybrid logic

Citation

Hodkinson, Ian. Hybrid Formulas and Elementarily Generated Modal Logics. Notre Dame J. Formal Logic 47 (2006), no. 4, 443--478. doi:10.1305/ndjfl/1168352661. https://projecteuclid.org/euclid.ndjfl/1168352661


Export citation

References

  • [1] Areces, C., P. Blackburn, and M. Marx, "Hybrid logic is the bounded fragment of first order logic", pp. 33–50 in Proceedings of 6th Workshop on Logic, Language, Information and Computation, WOLLIC99, edited by R. de Queiroz and W. Carnielli, 1999.
  • [2] Balbiani, P., I. Shapirovsky, and V. Shehtman, "Every world can see a Sahlqvist world", pp. 69–85 in Advances in Modal Logic. Vol. 6, edited by G. Governatori, I. Hodkinson, and Y. Venema, College Publications, London, 2006.
  • [3] Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, vol. 53 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, Cambridge, 2001.
  • [4] Chagrov, A., and M. Zakharyaschev, Modal Logic, vol. 35 of Oxford Logic Guides, The Clarendon Press, New York, 1997.
  • [5] Chang, C. C., and H. J. Keisler, Model Theory, 3d edition, vol. 73 of Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 1990.
  • [6] Cresswell, M. J., "A Henkin completeness for $T$", Notre Dame Journal of Formal Logic, vol. 8 (1967), pp. 186–90.
  • [7] Fine, K., "Some connections between elementary and modal logic", pp. 15–31 in Proceedings of the 3rd Scandinavian Logic Symposium (Uppsala, 1973), vol. 82 of Studies in Logic and the Foundations of Mathematics, Amsterdam, 1975. North-Holland,
  • [8] Gabbay, D. M., 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, North-Holland Publishing Co., Amsterdam, 2003.
  • [9] Givant, S., and Y. Venema, "The preservation of Sahlqvist equations in completions of Boolean algebras with operators", Algebra Universalis, vol. 41 (1999), pp. 47–84.
  • [10] Goldblatt, R., "Varieties of complex algebras", Annals of Pure and Applied Logic, vol. 44 (1989), pp. 173–242.
  • [11] Goldblatt, R., Mathematics of Modality, vol. 43 of CSLI Lecture Notes, Stanford University CSLI, Stanford, 1993.
  • [12] Goldblatt, R., "Elementary generation and canonicity for varieties of Boolean algebras with operators", Algebra Universalis, vol. 34 (1995), pp. 551–607.
  • [13] Goldblatt, R., "Quasi-modal equivalence of canonical structures", The Journal of Symbolic Logic, vol. 66 (2001), pp. 497–508.
  • [14] Goldblatt, R., "Mathematical modal logic: A view of its evolution", pp. 1–98 in Handbook of the History of Logic, Vol. 7: Logic and the Modalities in the Twentieth Century, edited by D. Gabbay and J. Woods, Elsevier, 2006. Originally published in Journal of Applied Logic, vol. 1 (2003), pp. 309–92.
  • [15] Goldblatt, R., and I. Hodkinson, “The McKinsey-Lemmon logic is barely canonical,” forthcoming in Australasian Journal of Logic, (2006). \phantomxxxxxxxxxxxxxxxxxxxxxxxxxxi http://www.philosophy.unimelb.edu.au/ajl/%.
  • [16] Goldblatt, R., I. Hodkinson, and Y. Venema, "On canonical modal logics that are not elementarily determined", Logique et Analyse. Nouvelle Série, vol. 46 (2003), pp. 77–101.
  • [17] Goldblatt, R., I. Hodkinson, and Y. Venema, "Erdős graphs resolve Fine's canonicity problem", The Bulletin of Symbolic Logic, vol. 10 (2004), pp. 186–208.
  • [18] Goranko, V., and D. Vakarelov, "Sahlqvist formulas in hybrid polyadic modal logics", Journal of Logic and Computation, vol. 11 (2001), pp. 737–54. Hybrid logics (Birmingham, 2000).
  • [19] Goranko, V., and D. Vakarelov, "Elementary canonical formulae: Extending Sahlqvist's theorem", Annals of Pure and Applied Logic, vol. 141 (2006), pp. 180–217.
  • [20] Hirsch, R., I. Hodkinson, and A. Kurucz, "On modal logics between K $\times$ K $\times$ K and $\mathbf{S5}\times\mathbf{S5}\times\mathbf{S5}$", The Journal of Symbolic Logic, vol. 67 (2002), pp. 221–34.
  • [21] Hirsch, R., and I. Hodkinson, "Representability is not decidable for finite relation algebras", Transactions of the American Mathematical Society, vol. 353 (2001), pp. 1403–25 (electronic).
  • [22] Hirsch, R., and I. Hodkinson, "Strongly representable atom structures of relation algebras", Proceedings of the American Mathematical Society, vol. 130 (2002), pp. 1819–31 (electronic).
  • [23] Hodkinson, I., and Y. Venema, "Canonical varieties with no canonical axiomatisation", Transactions of the American Mathematical Society, vol. 357 (2005), pp. 4579–4605 (electronic).
  • [24] Hughes, G. E., "Every world can see a reflexive world", Studia Logica, vol. 49 (1990), pp. 175–81.
  • [25] Jónsson, B., "On the canonicity of Sahlqvist identities", Studia Logica, vol. 53 (1994), pp. 473–91.
  • [26] Jónsson, B., and A. Tarski, "Boolean algebras with operators. I", American Journal of Mathematics, vol. 73 (1951), pp. 891–939.
  • [27] Kikot, S., "A new generalization of Sahlqvist theorem", Preprint, 2005.
  • [28] Kracht, M., Tools and Techniques in Modal Logic, vol. 142 of Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 1999.
  • [29] Kurucz, Á., "On axiomatising products of Kripke frames", The Journal of Symbolic Logic, vol. 65 (2000), pp. 923–45.
  • [30] Lemmon, E. J., An Introduction to Modal Logic, edited by K. Segerberg, vol. 11 of American Philosophical Quarterly, Monograph Series, Basil Blackwell, Oxford, 1977. The “Lemmon Notes,” in collaboration with Dana Scott.
  • [31] Makinson, D., "On some completeness theorems in modal logic", Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 (1966), pp. 379–84.
  • [32] Sahlqvist, H., "Completeness and correspondence in the first and second order semantics for modal logic", pp. 110–43 in Proceedings of the 3rd Scandinavian Logic Symposium (Uppsala, 1973), vol. 82 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1975.
  • [33] Sambin, G., and V. Vaccaro, "A new proof of Sahlqvist's theorem on modal definability and completeness", The Journal of Symbolic Logic, vol. 54 (1989), pp. 992–99.
  • [34] ten Cate, B., M. Marx, and P. Viana, “Hybrid logics with Sahlqvist axioms,” Logic Journal of the IGPL, vol. 13 (2005), pp. 293–300.
  • [35] Vakarelov, D., "Modal definability in languages with a finite number of propositional variables and a new extension of the Sahlqvist's class", pp. 499–518 in Advances in Modal Logic. Vol. 4, edited by P. Balbiani, N-Y. Suzuki, F. Wolter, and M. Zakharyaschev, King's College Publications, London, 2003.
  • [36] van Benthem, J. F. A. K., “Canonical modal logics and ultrafilter extensions,” The Journal of Symbolic Logic, vol. 44 (1979), pp. 1–8.
  • [37] van Benthem, J. F. A. K., "Some kinds of modal completeness", Studia Logica, vol. 39 (1980), pp. 125–41.
  • [38] van Benthem, J., Modal Logic and Classical Logic, Indices: Monographs in Philosophical Logic and Formal Linguistics, III. Bibliopolis, Naples, 1985.
  • [39] Venema, Y., "Canonical pseudo-correspondence", pp. 421–30 in Advances in Modal Logic. Vol. 2 (Uppsala, 1998), edited by M. Zakharyaschev, K. Segerberg, M. de Rijke, and H. Wansing, vol. 119 of CSLI Lecture Notes, CSLI Publications, Stanford, 2001.