{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:27:58Z","timestamp":1775053678125,"version":"3.50.1"},"reference-count":29,"publisher":"Duke University Press","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2016,1,1]]},"DOI":"10.1215\/00294527-3636512","type":"journal-article","created":{"date-parts":[[2016,7,19]],"date-time":"2016-07-19T18:17:05Z","timestamp":1468952225000},"source":"Crossref","is-referenced-by-count":7,"title":["Modal Consequence Relations Extending S4.3: An Application of Projective Unification"],"prefix":"10.1215","volume":"57","author":[{"given":"Wojciech","family":"Dzik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Piotr","family":"Wojtylak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"2","unstructured":"[2] 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","doi-asserted-by":"publisher","unstructured":"[1] Baader, F., and S. Ghilardi, \u201cUnification in modal and description logics,\u201d <i>Logic Journal of the IGPL<\/i>, vol. 19 (2011), pp. 705\u201330.","DOI":"10.1093\/jigpal\/jzq008"},{"key":"3","doi-asserted-by":"publisher","unstructured":"[3] Bloom, S. L., \u201cSome theorems on structural consequence operations,\u201d <i>Studia Logica<\/i>, vol. 34 (1975), pp. 1\u20139.","DOI":"10.1007\/BF02314419"},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] Bull, R. A., \u201cThat all normal extensions of S$4.3$ have the finite model property,\u201d <i>Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik<\/i>, vol. 12 (1966), pp. 314\u201344.","DOI":"10.1002\/malq.19660120129"},{"key":"5","doi-asserted-by":"publisher","unstructured":"[5] Bull, R. A., and K. Segerberg, \u201cBasic modal logic,\u201d pp. 1\u201388 in <i>Handbook of Philosophical Logic, Vol. II<\/i>, edited by D. Gabbay and F. Guenthner, vol. 165 of <i>Synthese Library<\/i>, Reidel, Dordrecht, 1979.","DOI":"10.1007\/978-94-009-6259-0_1"},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] Chagrov, A., and M. Zakharyaschev, <i>Modal Logic<\/i>, vol. 35 of <i>Oxford Logic Guides<\/i>, Oxford University Press, Oxford, 1997.","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"key":"7","unstructured":"[7] Dzik, W., \u201cUnitary unification of S5 logic and its extensions,\u201d pp. 19\u201326 in <i>Applications of Algebra, VI (Zakopane-Jaszczur\u00f3wka, 2002)<\/i>, vol. 32 of <i>Bulletin of the Section of Logic<\/i>, 2003."},{"key":"8","unstructured":"[8] Dzik, W., \u201cSplittings of lattices of theories and unification types,\u201d <i>Contributions to General Algebra<\/i>, vol. 17 (2006), pp. 73\u201384."},{"key":"9","unstructured":"[9] Dzik, W., <i>Unification Types in Logic<\/i>, vol. 2554 of <i>Scientific Publications of the University of Silesia<\/i>, Silesian University Press, Katowice, 2007."},{"key":"10","doi-asserted-by":"publisher","unstructured":"[10] Dzik, W., and P. Wojtylak, \u201cProjective unification in modal logic,\u201d <i>Logic Journal of the IGPL<\/i>, vol. 20 (2012), pp. 121\u201353.","DOI":"10.1093\/jigpal\/jzr028"},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] Fine, K., \u201cThe logics containing $\\mathrm{S}4.3$,\u201d <i>Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik<\/i>, vol. 17 (1971), pp. 371\u201376.","DOI":"10.1002\/malq.19710170141"},{"key":"12","doi-asserted-by":"publisher","unstructured":"[12] Gencer, C., and D. de Jongh, \u201cUnifiability in extensions of K4,\u201d <i>Logic Journal of the IGPL<\/i>, vol. 17 (2009), pp. 159\u201372.","DOI":"10.1093\/jigpal\/jzn032"},{"key":"13","doi-asserted-by":"publisher","unstructured":"[13] Ghilardi, S., \u201cBest solving modal equations,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 102 (2000), pp. 183\u201398.","DOI":"10.1016\/S0168-0072(99)00032-9"},{"key":"14","doi-asserted-by":"crossref","unstructured":"[14] Je\u0159abek, E., \u201cAdmissible rules in modal logic,\u201d <i>Journal of Logic and Computation<\/i>, vol. 15 (2005), pp. 411\u201331.","DOI":"10.1093\/logcom\/exi029"},{"key":"15","unstructured":"[15] Kagan, J., and R. Quackenbush, \u201cMonadic algebras,\u201d <i>Reports on Mathematical Logic<\/i>, vol. 7 (1976), pp. 53\u201361."},{"key":"16","unstructured":"[16] 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, Amsterdam, 1999."},{"key":"17","doi-asserted-by":"crossref","unstructured":"[17] Kracht, M., \u201cModal consequence relations,\u201d of <i>Handbook of Modal Logic<\/i>, edited by P. Blackburn, J. van Benthem, and F. Wolter, vol. 3 of <i>Studies in Logic and Practical Reasoning<\/i>, Elsevier, Amsterdam, 2006.","DOI":"10.1016\/S1570-2464(07)80011-5"},{"key":"18","doi-asserted-by":"crossref","unstructured":"[18] \u0141o\u015b, J., and R. Suszko, \u201cRemarks on sentential logics,\u201d <i>Indagationes Mathematicae<\/i>, vol. 20 (1958), pp. 177\u201383.","DOI":"10.1016\/S1385-7258(58)50024-9"},{"key":"19","unstructured":"[19] Pogorzelski, W. A., \u201cStructural completeness of the propositional calculus,\u201d <i>Bulletin de l\u2019Acad\u00e9mie Polonaise des Sciences, S\u00e9rie des Sciences Math\u00e9matiques, Astronomiques et Physiques<\/i>, vol. 19 (1971), pp. 349\u201351."},{"key":"20","unstructured":"[20] Pogorzelski, W. A., and P. Wojtylak, <i>Completeness Theory for Propositional Logics<\/i>, <i>Studies in Universal Logic<\/i>, Birkh\u00e4user, Basel, 2008."},{"key":"21","doi-asserted-by":"crossref","unstructured":"[21] Rautenberg, W., \u201cSplitting lattices of logics,\u201d <i>Archive for Mathematical Logic<\/i>, vol. 20 (1980), pp. 155\u201359.","DOI":"10.1007\/BF02021134"},{"key":"22","doi-asserted-by":"crossref","unstructured":"[22] Rybakov, V. V., \u201cAdmissible rules for logics containing $\\mathrm{S4.3}$,\u201d <i>Siberian Mathematical Journal<\/i>, vol. 25 (1984), pp. 141\u201345.","DOI":"10.1007\/BF00968695"},{"key":"23","doi-asserted-by":"publisher","unstructured":"[23] Rybakov, V. V., \u201cHereditarily structurally complete modal logics,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 60 (1995), pp. 266\u201388.","DOI":"10.2307\/2275521"},{"key":"24","unstructured":"[24] Rybakov, V. V., <i>Admissibility of Logical Inference Rules<\/i>, vol. 136 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland, Amsterdam, 1997."},{"key":"25","doi-asserted-by":"publisher","unstructured":"[25] Scroggs, S. J., \u201cExtensions of the Lewis system $\\mathrm{S}5$,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 16 (1951), pp. 112\u201320.","DOI":"10.2307\/2266683"},{"key":"26","unstructured":"[26] W\u00f3jcicki, R., <i>Theory of Logical Calculi: Basic Theory of Consequence Operations<\/i>, vol. 199 of <i>Synthese Library<\/i>, Kluwer Academic, Dordrecht, 1988."},{"key":"27","doi-asserted-by":"publisher","unstructured":"[27] Wojtylak, P., \u201cMatrix representations for structural strengthenings of a propositional logic,\u201d <i>Studia Logica<\/i>, vol. 38 (1979), pp. 263\u201366.","DOI":"10.1007\/BF00405384"},{"key":"28","unstructured":"[28] Wro\u0144ski, A., \u201cTransparent unification problem,\u201d pp. 105\u20137 in <i>First German-Polish Workshop on Logic &amp; Logical Philosophy (Bachotek, 1995)<\/i>, vol. 29 of <i>Reports on Mathematical Logic<\/i>, Jagiellonian Press, Krakow, 1995."},{"key":"29","doi-asserted-by":"publisher","unstructured":"[29] Zakharyaschev, M., F. Wolter, and A. Chagrov, \u201cAdvanced modal logic,\u201d pp. 83\u2013266 in <i>Handbook of Philosophical Logic, Vol. 3<\/i>, edited by D. Gabbay and F. Guenthner, Kluwer Academic, Dordrecht, 2001.","DOI":"10.1007\/978-94-017-0454-0_2"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-3636512","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T02:15:35Z","timestamp":1749003335000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-57\/issue-4\/Modal-Consequence-Relations-Extending-S43--An-Application-of-Projective\/10.1215\/00294527-3636512.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1,1]]},"references-count":29,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2016,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-3636512","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2016,1,1]]}}}