{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,9]],"date-time":"2026-04-09T11:23:21Z","timestamp":1775733801413,"version":"3.50.1"},"reference-count":39,"publisher":"Duke University Press","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2006,10,1]]},"DOI":"10.1305\/ndjfl\/1168352661","type":"journal-article","created":{"date-parts":[[2007,1,10]],"date-time":"2007-01-10T08:12:12Z","timestamp":1168416732000},"source":"Crossref","is-referenced-by-count":9,"title":["Hybrid Formulas and Elementarily Generated Modal Logics"],"prefix":"10.1215","volume":"47","author":[{"given":"Ian","family":"Hodkinson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"5","unstructured":"[5] Chang, C. C., and H. J. Keisler, <i>Model Theory<\/i>, 3d edition, vol. 73 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland Publishing Co., Amsterdam, 1990."},{"key":"6","doi-asserted-by":"publisher","unstructured":"[6] Cresswell, M. J., \"A Henkin completeness for $T$\", <i>Notre Dame Journal of Formal Logic<\/i>, vol. 8 (1967), pp. 186\u201390.","DOI":"10.1305\/ndjfl\/1093956082"},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] Fine, K., \"Some connections between elementary and modal logic\", pp. 15\u201331 in <i>Proceedings of the 3rd Scandinavian Logic Symposium (Uppsala, 1973)<\/i>, vol. 82 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, Amsterdam, 1975. North-Holland,","DOI":"10.1016\/S0049-237X(08)70723-7"},{"key":"8","unstructured":"[8] Gabbay, D. M., A. Kurucz, F. Wolter, and M. Zakharyaschev, <i>Many-Dimensional Modal Logics: Theory and Applications<\/i>, vol. 148 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland Publishing Co., Amsterdam, 2003."},{"key":"9","doi-asserted-by":"publisher","unstructured":"[9] Givant, S., and Y. Venema, \"The preservation of Sahlqvist equations in completions of Boolean algebras with operators\", <i>Algebra Universalis<\/i>, vol. 41 (1999), pp. 47\u201384.","DOI":"10.1007\/s000120050100"},{"key":"10","doi-asserted-by":"publisher","unstructured":"[10] Goldblatt, R., \"Varieties of complex algebras\", <i>Annals of Pure and Applied Logic<\/i>, vol. 44 (1989), pp. 173\u2013242.","DOI":"10.1016\/0168-0072(89)90032-8"},{"key":"11","unstructured":"[11] Goldblatt, R., <i>Mathematics of Modality<\/i>, vol. 43 of <i>CSLI Lecture Notes<\/i>, Stanford University CSLI, Stanford, 1993."},{"key":"12","doi-asserted-by":"publisher","unstructured":"[12] Goldblatt, R., \"Elementary generation and canonicity for varieties of Boolean algebras with operators\", <i>Algebra Universalis<\/i>, vol. 34 (1995), pp. 551\u2013607.","DOI":"10.1007\/BF01181878"},{"key":"13","doi-asserted-by":"publisher","unstructured":"[13] Goldblatt, R., \"Quasi-modal equivalence of canonical structures\", <i>The Journal of Symbolic Logic<\/i>, vol. 66 (2001), pp. 497\u2013508.","DOI":"10.2307\/2695027"},{"key":"14","doi-asserted-by":"publisher","unstructured":"[14] Goldblatt, R., \"Mathematical modal logic: A view of its evolution\", pp. 1\u201398 in <i>Handbook of the History of Logic, Vol. 7: Logic and the Modalities in the Twentieth Century<\/i>, edited by D. Gabbay and J. Woods, Elsevier, 2006. Originally published in <i>Journal of Applied Logic<\/i>, vol. 1 (2003), pp. 309\u201392.","DOI":"10.1016\/S1570-8683(03)00008-9"},{"key":"15","doi-asserted-by":"publisher","unstructured":"[15] Goldblatt, R., and I. Hodkinson, \u201cThe McKinsey-Lemmon logic is barely canonical,\u201d forthcoming in <i>Australasian Journal of Logic<\/i>, (2006). \\phantomxxxxxxxxxxxxxxxxxxxxxxxxxxi http:\/\/www.philosophy.unimelb.edu.au\/ajl\/%.","DOI":"10.1305\/ndjfl\/1093891304"},{"key":"16","unstructured":"[16] Goldblatt, R., I. Hodkinson, and Y. Venema, \"On canonical modal logics that are not elementarily determined\", <i>Logique et Analyse. Nouvelle S\u00e9rie<\/i>, vol. 46 (2003), pp. 77\u2013101."},{"key":"17","doi-asserted-by":"publisher","unstructured":"[17] Goldblatt, R., I. Hodkinson, and Y. Venema, \"Erd\u0151s graphs resolve Fine's canonicity problem\", <i>The Bulletin of Symbolic Logic<\/i>, vol. 10 (2004), pp. 186\u2013208.","DOI":"10.2178\/bsl\/1082986262"},{"key":"18","doi-asserted-by":"publisher","unstructured":"[18] Goranko, V., and D. Vakarelov, \"Sahlqvist formulas in hybrid polyadic modal logics\", <i>Journal of Logic and Computation<\/i>, vol. 11 (2001), pp. 737\u201354. Hybrid logics (Birmingham, 2000).","DOI":"10.1093\/logcom\/11.5.737"},{"key":"19","doi-asserted-by":"publisher","unstructured":"[19] Goranko, V., and D. Vakarelov, \"Elementary canonical formulae: Extending Sahlqvist's theorem\", <i>Annals of Pure and Applied Logic<\/i>, vol. 141 (2006), pp. 180\u2013217.","DOI":"10.1016\/j.apal.2005.10.005"},{"key":"20","doi-asserted-by":"publisher","unstructured":"[20] Hirsch, R., I. Hodkinson, and A. Kurucz, \"On modal logics between <b>K<\/b> $\\times$ <b>K<\/b> $\\times$ <b>K<\/b> and $\\mathbf{S5}\\times\\mathbf{S5}\\times\\mathbf{S5}$\", <i>The Journal of Symbolic Logic<\/i>, vol. 67 (2002), pp. 221\u201334.","DOI":"10.2178\/jsl\/1190150040"},{"key":"21","doi-asserted-by":"publisher","unstructured":"[21] Hirsch, R., and I. Hodkinson, \"Representability is not decidable for finite relation algebras\", <i>Transactions of the American Mathematical Society<\/i>, vol. 353 (2001), pp. 1403\u201325 (electronic).","DOI":"10.1090\/S0002-9947-99-02264-3"},{"key":"22","doi-asserted-by":"publisher","unstructured":"[22] Hirsch, R., and I. Hodkinson, \"Strongly representable atom structures of relation algebras\", <i>Proceedings of the American Mathematical Society<\/i>, vol. 130 (2002), pp. 1819\u201331 (electronic).","DOI":"10.1090\/S0002-9939-01-06232-3"},{"key":"23","doi-asserted-by":"publisher","unstructured":"[23] Hodkinson, I., and Y. Venema, \"Canonical varieties with no canonical axiomatisation\", <i>Transactions of the American Mathematical Society<\/i>, vol. 357 (2005), pp. 4579\u20134605 (electronic).","DOI":"10.1090\/S0002-9947-04-03743-2"},{"key":"24","doi-asserted-by":"publisher","unstructured":"[24] Hughes, G. E., \"Every world can see a reflexive world\", <i>Studia Logica<\/i>, vol. 49 (1990), pp. 175\u201381.","DOI":"10.1007\/BF00935597"},{"key":"25","doi-asserted-by":"publisher","unstructured":"[25] J\u00f3nsson, B., \"On the canonicity of Sahlqvist identities\", <i>Studia Logica<\/i>, vol. 53 (1994), pp. 473\u201391.","DOI":"10.1007\/BF01057646"},{"key":"26","doi-asserted-by":"publisher","unstructured":"[26] J\u00f3nsson, B., and A. Tarski, \"Boolean algebras with operators. I\", <i>American Journal of Mathematics<\/i>, vol. 73 (1951), pp. 891\u2013939.","DOI":"10.2307\/2372123"},{"key":"27","unstructured":"[27] Kikot, S., \"A new generalization of Sahlqvist theorem\", Preprint, 2005."},{"key":"28","unstructured":"[28] Kracht, M., <i>Tools and Techniques in Modal Logic<\/i>, vol. 142 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland Publishing Co., Amsterdam, 1999."},{"key":"29","doi-asserted-by":"publisher","unstructured":"[29] Kurucz, \u00c1., \"On axiomatising products of Kripke frames\", <i>The Journal of Symbolic Logic<\/i>, vol. 65 (2000), pp. 923\u201345.","DOI":"10.2307\/2586578"},{"key":"30","unstructured":"[30] Lemmon, E. J., <i>An Introduction to Modal Logic<\/i>, edited by K. Segerberg, vol. 11 of <i>American Philosophical Quarterly, Monograph Series<\/i>, Basil Blackwell, Oxford, 1977. The \u201cLemmon Notes,\u201d in collaboration with Dana Scott."},{"key":"31","doi-asserted-by":"publisher","unstructured":"[31] Makinson, D., \"On some completeness theorems in modal logic\", <i>Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik<\/i>, vol. 12 (1966), pp. 379\u201384.","DOI":"10.1002\/malq.19660120131"},{"key":"32","doi-asserted-by":"crossref","unstructured":"[32] Sahlqvist, H., \"Completeness and correspondence in the first and second order semantics for modal logic\", pp. 110\u201343 in <i>Proceedings of the 3rd Scandinavian Logic Symposium (Uppsala, 1973)<\/i>, vol. 82 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland, Amsterdam, 1975.","DOI":"10.1016\/S0049-237X(08)70728-6"},{"key":"33","doi-asserted-by":"publisher","unstructured":"[33] Sambin, G., and V. Vaccaro, \"A new proof of Sahlqvist's theorem on modal definability and completeness\", <i>The Journal of Symbolic Logic<\/i>, vol. 54 (1989), pp. 992\u201399.","DOI":"10.2307\/2274758"},{"key":"34","doi-asserted-by":"publisher","unstructured":"[34] ten Cate, B., M. Marx, and P. Viana, \u201cHybrid logics with Sahlqvist axioms,\u201d <i>Logic Journal of the IGPL<\/i>, vol. 13 (2005), pp. 293\u2013300.","DOI":"10.1093\/jigpal\/jzi024"},{"key":"35","unstructured":"[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\u2013518 in <i>Advances in Modal Logic. Vol. 4<\/i>, edited by P. Balbiani, N-Y. Suzuki, F. Wolter, and M. Zakharyaschev, King's College Publications, London, 2003."},{"key":"36","doi-asserted-by":"publisher","unstructured":"[36] van Benthem, J. F. A. K., \u201cCanonical modal logics and ultrafilter extensions,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 44 (1979), pp. 1\u20138.","DOI":"10.2307\/2273696"},{"key":"37","doi-asserted-by":"publisher","unstructured":"[37] van Benthem, J. F. A. K., \"Some kinds of modal completeness\", <i>Studia Logica<\/i>, vol. 39 (1980), pp. 125\u201341.","DOI":"10.1007\/BF00370316"},{"key":"38","unstructured":"[38] van Benthem, J., <i>Modal Logic and Classical Logic<\/i>, Indices: Monographs in Philosophical Logic and Formal Linguistics, III. Bibliopolis, Naples, 1985."},{"key":"39","unstructured":"[39] Venema, Y., \"Canonical pseudo-correspondence\", pp. 421\u201330 in <i>Advances in Modal Logic. Vol. 2 (Uppsala, 1998)<\/i>, edited by M. Zakharyaschev, K. Segerberg, M. de Rijke, and H. Wansing, vol. 119 of <i>CSLI Lecture Notes<\/i>, CSLI Publications, Stanford, 2001."},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] Chagrov, A., and M. Zakharyaschev, <i>Modal Logic<\/i>, vol. 35 of <i>Oxford Logic Guides<\/i>, The Clarendon Press, New York, 1997.","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"key":"3","unstructured":"[3] Blackburn, P., M. de Rijke, and Y. Venema, <i>Modal Logic<\/i>, vol. 53 of <i>Cambridge Tracts in Theoretical Computer Science<\/i>, Cambridge University Press, Cambridge, 2001."},{"key":"1","unstructured":"[1] Areces, C., P. Blackburn, and M. Marx, \"Hybrid logic is the bounded fragment of first order logic\", pp. 33\u201350 in <i>Proceedings of 6th Workshop on Logic, Language, Information and Computation, WOLLIC99<\/i>, edited by R. de Queiroz and W. Carnielli, 1999."},{"key":"2","unstructured":"[2] Balbiani, P., I. Shapirovsky, and V. Shehtman, \"Every world can see a Sahlqvist world\", pp. 69\u201385 in <i>Advances in Modal Logic. Vol. 6<\/i>, edited by G. Governatori, I. Hodkinson, and Y. Venema, College Publications, London, 2006."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1168352661","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,10]],"date-time":"2024-02-10T00:27:56Z","timestamp":1707524876000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-47\/issue-4\/Hybrid-Formulas-and-Elementarily-Generated-Modal-Logics\/10.1305\/ndjfl\/1168352661.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,10,1]]},"references-count":39,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2006,10,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1168352661","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2006,10,1]]}}}