{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,20]],"date-time":"2025-09-20T19:43:08Z","timestamp":1758397388425},"reference-count":42,"publisher":"Duke University Press","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2019,5,1]]},"DOI":"10.1215\/00294527-2019-0001","type":"journal-article","created":{"date-parts":[[2019,5,9]],"date-time":"2019-05-09T08:00:46Z","timestamp":1557388846000},"source":"Crossref","is-referenced-by-count":4,"title":["A Note on Algebraic Semantics for S5 with Propositional Quantifiers"],"prefix":"10.1215","volume":"60","author":[{"given":"Wesley H.","family":"Holliday","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"12","unstructured":"[12] Fine, K., <i>For Some Proposition and So Many Possible Worlds<\/i>, PhD thesis, University of Warwick, 1969, <a href=\"http:\/\/wrap.warwick.ac.uk\/72219\/\">http:\/\/wrap.warwick.ac.uk\/72219\/<\/a>."},{"key":"1","doi-asserted-by":"publisher","unstructured":"[1] Antonelli, G. A., and R. H. Thomason, \u201cRepresentability in second-order propositional poly-modal logic,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 67 (2002), pp. 1039\u201354.","DOI":"10.2178\/jsl\/1190150147"},{"key":"2","doi-asserted-by":"publisher","unstructured":"[2] Barcan, R. C., \u201cThe identity of individuals in a strict functional calculus of second order,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 12 (1947), pp. 12\u201315.","DOI":"10.2307\/2267171"},{"key":"3","unstructured":"[3] Belardinelli, F., and W. van der Hoek, \u201cEpistemic quantified Boolean logic: expressiveness and completeness results,\u201d in <i>Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015)<\/i>, pp. 2748\u201354, 2015."},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] Belardinelli, F., and W. van der Hoek, \u201cA semantical analysis of second-order propositional modal logic,\u201d in <i>Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAA-16)<\/i>, pp. 886\u201392, 2016.","DOI":"10.1609\/aaai.v30i1.10100"},{"key":"5","doi-asserted-by":"publisher","unstructured":"[5] Bezhanishvili, G., and N. Bezhanishvili, \u201cAn algebraic approach to canonical formulas: Modal case,\u201d <i>Studia Logica<\/i>, vol. 99 (2011), pp. 93\u2013125.","DOI":"10.1007\/s11225-011-9348-9"},{"key":"6","doi-asserted-by":"publisher","unstructured":"[6] Bull, R. A., \u201cOn modal logic with propositional quantifiers,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 34 (1969), pp. 257\u201363.","DOI":"10.1017\/S0022481200094512"},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] Burris, S. N., and H. P. Sankappanavar, <i>A Course in Universal Algebra<\/i>, Springer, New York, 1981.","DOI":"10.1007\/978-1-4613-8130-3"},{"key":"8","doi-asserted-by":"publisher","unstructured":"[8] ten Cate, B., \u201cExpressivity of second order propositional modal logic,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 35 (2006), pp. 209\u201323.","DOI":"10.1007\/s10992-005-9012-9"},{"key":"9","doi-asserted-by":"crossref","unstructured":"[9] Chellas, B. F., <i>Modal logic: An introduction<\/i>, Cambridge University Press, New York, 1980.","DOI":"10.1017\/CBO9780511621192"},{"key":"10","unstructured":"[10] Ding, Y., \u201cOn the logics with propositional quantifiers extending $\\mathsf{S5}\\Pi$,\u201d pp. 219\u201335 in <i>Advances in Modal Logic<\/i>, edited by G. Bezhanishvili, G. D\u2019Agostino, G. Metcalfe, and T. Studer, College Publications, London, 2018."},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] Dunn, J. M., and G. M. Hardegree, <i>Algebraic Methods in Philosophical Logic<\/i>, Clarendon Press, Oxford, 2001.","DOI":"10.1093\/oso\/9780198531920.001.0001"},{"key":"13","doi-asserted-by":"publisher","unstructured":"[13] Fine, K., \u201cPropositional quantifiers in modal logic,\u201d <i>Theoria<\/i>, vol. 36 (1970), pp. 336\u201346.","DOI":"10.1111\/j.1755-2567.1970.tb00432.x"},{"key":"14","doi-asserted-by":"crossref","unstructured":"[14] Fritz, P., \u201cPropositional quantification in bimodal <b>S5<\/b>,\u201d <i>Erkenntnis<\/i>, published online July 27, 2018.","DOI":"10.1007\/s10670-018-0035-3"},{"key":"15","doi-asserted-by":"publisher","unstructured":"[15] Gabbay, D. M., \u201cMontague type semantics for modal logics with propositional quantifiers,\u201d <i>Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik<\/i>, vol. 17 (1971), pp. 245\u201349.","DOI":"10.1002\/malq.19710170128"},{"key":"16","doi-asserted-by":"crossref","unstructured":"[16] Gabbay, D. M., \u201cOn 2nd order intuitionistic propositional calculus with full comprehension,\u201d <i>Archiv f\u00fcr mathematische Logik und Grundlagenforschung<\/i>, vol. 16 (1974), pp. 177\u201386.","DOI":"10.1007\/BF02015377"},{"key":"17","doi-asserted-by":"crossref","unstructured":"[17] Geuvers, H., \u201cConservativity between logics and typed $\\lambda $ calculi,\u201d pp. 131\u201354 in <i>Types for Proofs and Programs<\/i>, edited by H. Barendregt and T. Nipkow, volume 806 of <i>Lecture Notes in Computer Science<\/i>, Springer, Berlin, 1994.","DOI":"10.1007\/3-540-58085-9_73"},{"key":"18","doi-asserted-by":"crossref","unstructured":"[18] Givant, S., and P. Halmos, <i>Introduction to Boolean Algebras<\/i>, Springer, New York, 2009.","DOI":"10.1007\/978-0-387-68436-9_2"},{"key":"19","doi-asserted-by":"crossref","unstructured":"[19] Halmos, P., and S. Givant, <i>Logic as Algebra<\/i>, Mathematical Association of America, Washington, DC, 1998.","DOI":"10.1090\/dol\/021"},{"key":"20","unstructured":"[20] Halmos, P. R., \u201cAlgebraic logic, I. Monadic Boolean algebras,\u201d <i>Compositio Mathematica<\/i>, vol. 12 (1955), pp. 217\u201349."},{"key":"21","unstructured":"[21] Halmos, P. R., <i>Algebraic Logic<\/i>, Chelsea, New York, 1962."},{"key":"22","unstructured":"[22] Halmos, P. R., <i>Lectures on Boolean Algebras<\/i>, D. Van Nostrand, Princeton, 1963."},{"key":"23","unstructured":"[23] Harding, J., and G. Bezhanishvili, \u201cMacNeille completions of modal algebras,\u201d <i>Houston Journal of Mathematics<\/i>, vol. 33 (2007), pp. 355\u201384."},{"key":"24","doi-asserted-by":"publisher","unstructured":"[24] Kaminski, M., and M. Tiomkin, \u201cThe expressive power of second-order propositional modal logic,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 37 (1996), pp. 35\u201343.","DOI":"10.1305\/ndjfl\/1040067314"},{"key":"25","unstructured":"[25] Kaplan, D., \u201cS5 with quantifiable propositional variables,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 35 (1970), p. 355."},{"key":"26","doi-asserted-by":"crossref","unstructured":"[26] Kremer, P., \u201cQuantifying over propositions in relevance logic: nonaxiomatizability of primary interpretations of $\\forall p$ and $\\exists p$,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 58 (1993), pp. 334\u201349.","DOI":"10.2307\/2275341"},{"key":"27","doi-asserted-by":"publisher","unstructured":"[27] Kremer, P., \u201cOn the complexity of propositional quantification in intuitionistic logic,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 62 (1997), pp. 529\u201344.","DOI":"10.2307\/2275545"},{"key":"28","doi-asserted-by":"publisher","unstructured":"[28] Kremer, P., \u201cPropositional quantification in the topological semantics for <b>S4<\/b>,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 38 (1997), pp. 295\u2013313.","DOI":"10.1305\/ndjfl\/1039724892"},{"key":"29","doi-asserted-by":"publisher","unstructured":"[29] Kripke, S. A., \u201cA completeness theorem in modal logic,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 24 (1959), pp. 1\u201314.","DOI":"10.2307\/2964568"},{"key":"30","doi-asserted-by":"publisher","unstructured":"[30] Kuusisto, A., \u201cSecond-order propositional modal logic and monadic alternation hierarchies,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 166 (2015), pp. 1\u201328.","DOI":"10.1016\/j.apal.2014.08.003"},{"key":"31","unstructured":"[31] Poizat, B., <i>A Course in Model Theory: An Introduction to Contemporary Mathematical Logic<\/i>, Springer, New York, 2000."},{"key":"32","doi-asserted-by":"publisher","unstructured":"[32] Po\u0142acik, T., \u201cPitts\u2019 quantifiers are not topological quantification,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 39 (1998), pp. 531\u201345.","DOI":"10.1305\/ndjfl\/1039118868"},{"key":"33","doi-asserted-by":"publisher","unstructured":"[33] Rasiowa, H., and R. Sikorski, \u201cA proof of the completeness theorem of G\u00f6del,\u201d <i>Fundamenta Mathematicae<\/i>, vol. 37 (1950), pp. 193\u2013200.","DOI":"10.4064\/fm-37-1-193-200"},{"key":"34","unstructured":"[34] Rasiowa, H., and R. Sikorski, <i>The Mathematics of Metamathematics<\/i>, Monografie Matematyczne, Tom 41. Pa\u0144stwowe Wydawnictwo Naukowe, Warsaw, 1963."},{"key":"35","unstructured":"[35] Scott, D. S., \u201cThe algebraic interpretation of quantifiers: Intuitionistic and classical,\u201d pp. 289\u2013312 in <i>Andrzej Mostowski and Foundational Studies<\/i>, edited by A. Ehrenfeucht and V. W. Marek and M. Srebrny, IOS Press, Amsterdam, 2008."},{"key":"36","doi-asserted-by":"publisher","unstructured":"[36] Scroggs, S. J., \u201cExtensions of the Lewis system S5,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 16 (1951), pp. 112\u201320.","DOI":"10.2307\/2266683"},{"key":"37","doi-asserted-by":"publisher","unstructured":"[37] Skvortsov, D., \u201cNon-axiomatizable second order intuitionistic propositional logic,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 86 (1997), pp. 33\u201346.","DOI":"10.1016\/S0168-0072(96)00034-6"},{"key":"38","doi-asserted-by":"publisher","unstructured":"[38] Sobolev, S. K., \u201cThe intuitionistic propositional calculus with quantifiers,\u201d <i>Mathematical Notes of the Academy of Sciences of the USSR<\/i>, vol. 22 (1977), pp. 528\u201332.","DOI":"10.1007\/BF01147694"},{"key":"39","doi-asserted-by":"publisher","unstructured":"[39] Tanaka, Y., \u201cKripke completeness of infinitary predicate multimodal logic,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 40 (1999), pp. 326\u201341.","DOI":"10.1305\/ndjfl\/1022615613"},{"key":"40","doi-asserted-by":"publisher","unstructured":"[40] Thomason, S. K., \u201cCategories of frames for modal logic,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 40 (1975), pp. 439\u201342.","DOI":"10.2307\/2272167"},{"key":"41","doi-asserted-by":"publisher","unstructured":"[41] Zach, R., \u201cDecidability of quantified propositional intuitionistic logic and S4 on trees of height and arity $\\leq\\omega $,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 33 (2004), pp. 155\u201364.","DOI":"10.1023\/B:LOGI.0000021744.10237.d0"},{"key":"42","doi-asserted-by":"publisher","unstructured":"[42] Zdanowski, K., \u201cOn second order intuitionistic propositional logic without a universal quantifier,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 74 (2009), pp. 157\u201367.","DOI":"10.2178\/jsl\/1231082306"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2019-0001","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,17]],"date-time":"2024-07-17T20:07:24Z","timestamp":1721246844000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-60\/issue-2\/A-Note-on-Algebraic-Semantics-for-S5-with-Propositional-Quantifiers\/10.1215\/00294527-2019-0001.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,5,1]]},"references-count":42,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2019,5,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2019-0001","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2019,5,1]]}}}