{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,8]],"date-time":"2026-03-08T02:01:08Z","timestamp":1772935268290,"version":"3.50.1"},"reference-count":52,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T00:00:00Z","timestamp":1769904000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T00:00:00Z","timestamp":1769904000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"name":"Monson Award","award":["Grant number"],"award-info":[{"award-number":["Grant number"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2026,2]]},"DOI":"10.1007\/s10992-025-09823-5","type":"journal-article","created":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T11:23:39Z","timestamp":1771500219000},"page":"51-76","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Expressive Power of Propositionally Quantified Modal Logics on Variable Domain Structures with Accessibility"],"prefix":"10.1007","volume":"55","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5395-8023","authenticated-orcid":false,"given":"Eliya","family":"Cohen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,2,19]]},"reference":[{"key":"9823_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/BF01063914","volume":"49","author":"RM Adams","year":"1981","unstructured":"Adams, R. M. (1981). Actualism and thisness. Synthese, 49, 3\u201341.","journal-title":"Synthese"},{"issue":"03","key":"9823_CR2","doi-asserted-by":"publisher","first-page":"1039","DOI":"10.2178\/jsl\/1190150147","volume":"67","author":"GA Antonelli","year":"2002","unstructured":"Antonelli, G. A., & Thomason, R. H. (2002). Representability in second-order propositional poly-modal logic. The Journal of Symbolic Logic, 67(03), 1039\u20131054.","journal-title":"The Journal of Symbolic Logic"},{"issue":"5","key":"9823_CR3","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1007\/s10992-017-9447-9","volume":"47","author":"A Bacon","year":"2018","unstructured":"Bacon, A. (2018). The broadest necessity. Journal of Philosophical Logic, 47(5), 733\u2013783.","journal-title":"Journal of Philosophical Logic"},{"key":"9823_CR4","doi-asserted-by":"crossref","unstructured":"Bednarczyk, B. & Demri, S. (2019). Why propositional quantification makes modal logics on trees robustly hard? In: 2019 34th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS). pp. 1-13.","DOI":"10.1109\/LICS.2019.8785656"},{"key":"9823_CR5","unstructured":"Belardinelli, F. & van der Hoek, W. (2015). Epistemic quantified boolean logic: Expressiveness and completeness results. In: 24th International Joint Conferences on Artificial Intelligence (IJCAI2015), pp. 2748\u20132754."},{"key":"9823_CR6","doi-asserted-by":"crossref","unstructured":"Belardinelli, F. & van der Hoek, W. (2016). A semantical analysis of second-order propositional modal logic. In: Thirtieth AAAI Conference on Artificial Intelligence.","DOI":"10.1609\/aaai.v30i1.10100"},{"key":"9823_CR7","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.artint.2018.07.004","volume":"263","author":"F Belardinelli","year":"2018","unstructured":"Belardinelli, F., van der Hoek, W., & Kuijer, L. B. (2018). Second-order propositional modal logic: Expressiveness and completeness results. Artificial Intelligence, 263, 3\u201345.","journal-title":"Artificial Intelligence"},{"key":"9823_CR8","doi-asserted-by":"crossref","unstructured":"Belardinelli, F., van Ditmarsch, H., & van der Hoek, W. (2016). Second-order propositional announcement logic. In: Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems. International Foundation for Autonomous Agents and Multiagent Systems. pp. 635\u2013643.","DOI":"10.65109\/TCOF2574"},{"key":"9823_CR9","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal logic. Cambridge tracts in theoretical computer science 53. Cambridge: Cambridge University Press.","DOI":"10.1017\/CBO9781107050884"},{"issue":"2","key":"9823_CR10","doi-asserted-by":"publisher","first-page":"257","DOI":"10.2307\/2271102","volume":"34","author":"RA Bull","year":"1969","unstructured":"Bull, R. A. (1969). On modal logic with propositional quantifiers. The Journal of Symbolic Logic, 34(2), 257\u2013263.","journal-title":"The Journal of Symbolic Logic"},{"issue":"2","key":"9823_CR11","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1093\/analys\/36.2.106","volume":"36","author":"H Chandler","year":"1976","unstructured":"Chandler, H. (1976). Plantinga and the contingently possible. Analysis, 36(2), 106\u2013109.","journal-title":"Analysis"},{"key":"9823_CR12","unstructured":"Ding, Y. (2018). On the logics with propositional quantifiers extending S5$$\\Pi $$. In: Advances in Modal Logic 12, Proceedings of the 12th Conference on \u201cAdvances in Modal Logic,\u201d held in Bern, Switzerland, August 27-31, 2018, 219\u2013235."},{"key":"9823_CR13","doi-asserted-by":"crossref","unstructured":"Ding, Y. (2021). On the logic of belief and propositional quantification. Journal of Philosophical Logic 50, 1143\u20131198.","DOI":"10.1007\/s10992-021-09595-8"},{"issue":"514","key":"9823_CR14","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1093\/mind\/fzz045","volume":"129","author":"A Ditter","year":"2020","unstructured":"Ditter, A. (2020). The reduction of necessity to essence. Mind, 129(514), 351\u2013380.","journal-title":"Mind"},{"key":"9823_CR15","doi-asserted-by":"crossref","unstructured":"Fan, T. & Liau, C. (2017). Doxastic reasoning with multi-source justifications based on second order propositional modal logic. In Proceedings of the 16th Conference on Autonomous Agents and Multiagent Systems. International Foundation for Autonomous Agents and Multiagent Systems. pp. 1529\u20131531.","DOI":"10.65109\/ZLTN3526"},{"key":"9823_CR16","unstructured":"Fine, K. (1969). For some proposition and so many possible worlds. PhD thesis, University of Warwick."},{"key":"9823_CR17","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1111\/j.1755-2567.1970.tb00432.x","volume":"36","author":"K Fine","year":"1970","unstructured":"Fine, K. (1970). Propositional quantifiers in modal logic. Theoria, 36, 336\u2013346.","journal-title":"Theoria"},{"key":"9823_CR18","doi-asserted-by":"crossref","unstructured":"French, T. (2003). Quantified propositional temporal logic with repeating states. In: 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings. IEEE. pp. 155\u2013165.","DOI":"10.1109\/TIME.2003.1214891"},{"issue":"1","key":"9823_CR19","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1017\/S1755020315000325","volume":"9","author":"P Fritz","year":"2016","unstructured":"Fritz, P. (2016). Propositional contingentism. Review of Symbolic Logic, 9(1), 123\u2013142.","journal-title":"Propositional contingentism. Review of Symbolic Logic"},{"issue":"2","key":"9823_CR20","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1017\/S1755020317000028","volume":"10","author":"P Fritz","year":"2017","unstructured":"Fritz, P. (2017). Logics for propositional contingentism. Review of Symbolic Logic, 10(2), 203\u2013236.","journal-title":"Review of Symbolic Logic"},{"key":"9823_CR21","doi-asserted-by":"crossref","unstructured":"Fritz, P. (2018). Propositional quantification in bimodal S5. Erkenntnis pp. 1\u201311.","DOI":"10.1007\/s10670-018-0035-3"},{"key":"9823_CR22","doi-asserted-by":"crossref","unstructured":"Fritz, P. (2024). Propositional Quantifiers. Cambridge: Cambridge University Press. generation. Journal of Philosophical Logic, 45(6), 645\u2013695.","DOI":"10.1007\/s10992-015-9388-0"},{"key":"9823_CR23","unstructured":"Fritz, P., & Lederman, H. (2015). Standard state space models of unawareness. Theoretical Aspects of Rationality and Knowledge 15."},{"issue":"1","key":"9823_CR24","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1002\/malq.19710170128","volume":"17","author":"D Gabbay","year":"1971","unstructured":"Gabbay, D. (1971). Montague type semantics for modal logics with propositional quantifiers. Mathematical Logic Quarterly, 17(1), 245\u2013249.","journal-title":"Mathematical Logic Quarterly"},{"issue":"2","key":"9823_CR25","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/BF01061237","volume":"55","author":"S Ghilardi","year":"1995","unstructured":"Ghilardi, S., & Zawadowski, M. (1995). Undefinability of propositional quantifiers in the modal system S4. Studia Logica, 55(2), 259\u2013271.","journal-title":"Studia Logica"},{"key":"9823_CR26","first-page":"479","volume-title":"Perspectives in Logic","author":"Y Gurevich","year":"1985","unstructured":"Gurevich, Y. (1985). Monadic second-order theories. In M.-T. Logics, J. Barwise, & S. Feferman (Eds.), Perspectives in Logic (pp. 479\u2013506). New York: Springer-Verlag."},{"issue":"2","key":"9823_CR27","first-page":"311","volume":"60","author":"W Holliday","year":"2017","unstructured":"Holliday, W. (2017). A note on algebraic semantics for S5 with propositional quantifiers. Notre Dame Journal of Formal Logic, 60(2), 311\u2013332.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9823_CR28","unstructured":"Holliday, W. & Litak, T. (2018). One modal logic to rule them all? In: Advances in Modal Logic 12, Proceedings of the 12th Conference on \u201cAdvances in Modal Logic,\u201d held in Bern, Switzerland, August 27-31, 2018, 367\u2013386."},{"key":"9823_CR29","doi-asserted-by":"publisher","DOI":"10.4324\/9780203290644","volume-title":"A New Introduction to Modal Logic","author":"GE Hughes","year":"1996","unstructured":"Hughes, G. E., & Cresswell, M. J. (1996). A New Introduction to Modal Logic. London: Routledge."},{"issue":"1","key":"9823_CR30","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1305\/ndjfl\/1040067314","volume":"37","author":"M Kaminski","year":"1996","unstructured":"Kaminski, M., & Tiomkin, M. (1996). The expressive power of second-order propositional modal logic. Notre Dame Journal of Formal Logic, 37(1), 35\u201343.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"2","key":"9823_CR31","first-page":"355","volume":"35","author":"D Kaplan","year":"1970","unstructured":"Kaplan, D. (1970). S5 with quantifiable propositional variables. Journal of Symbolic Logic, 35(2), 355.","journal-title":"Journal of Symbolic Logic"},{"key":"9823_CR32","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199604685.001.0001","volume-title":"Modality and Explanatory Reasoning","author":"B Kment","year":"2014","unstructured":"Kment, B. (2014). Modality and Explanatory Reasoning. Oxford: Oxford University Press."},{"issue":"1","key":"9823_CR33","doi-asserted-by":"publisher","first-page":"334","DOI":"10.2307\/2275341","volume":"58","author":"P Kremer","year":"1993","unstructured":"Kremer, P. (1993). Quantifying over propositions in relevance logic: Nonaxiomatisability of primary interpretations of $$\\forall p$$ and $$\\exists p$$. Journal for Symbolic Logic, 58(1), 334\u2013349.","journal-title":"Journal for Symbolic Logic"},{"issue":"2","key":"9823_CR34","doi-asserted-by":"publisher","first-page":"529","DOI":"10.2307\/2275545","volume":"62","author":"P Kremer","year":"1997","unstructured":"Kremer, P. (1997). On the complexity of propositional quantification in intuitionistic logic. The Journal of Symbolic Logic, 62(2), 529\u2013544.","journal-title":"The Journal of Symbolic Logic"},{"issue":"3","key":"9823_CR35","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1017\/S1755020318000229","volume":"11","author":"P Kremer","year":"2018","unstructured":"Kremer, P. (2018). Completeness of second-order propositional S4 and H in topological semantics. The Review of Symbolic Logic, 11(3), 507\u2013518.","journal-title":"The Review of Symbolic Logic"},{"issue":"1","key":"9823_CR36","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2964568","volume":"24","author":"SA Kripke","year":"1959","unstructured":"Kripke, S. A. (1959). A completeness theorem in modal logic. The Journal of Symbolic Logic, 24(1), 1\u201314.","journal-title":"The Journal of Symbolic Logic"},{"key":"9823_CR37","first-page":"83","volume":"16","author":"SA Kripke","year":"1963","unstructured":"Kripke, S. A. (1963). Semantical considerations on modal logic. Acta Philosophica Fennica, 16, 83\u201394.","journal-title":"Acta Philosophica Fennica"},{"issue":"1","key":"9823_CR38","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1305\/ndjfl\/1094155276","volume":"45","author":"S Kuhn","year":"2004","unstructured":"Kuhn, S. (2004). A simple embedding of T into double S5. Notre Dame Journal of Formal Logic, 45(1), 13\u201318.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9823_CR39","unstructured":"Kuusisto, A. (2008). A modal perspective on monadic second-order alternation hierarchies. Advances in modal logic, pp. 231\u2013247."},{"issue":"1","key":"9823_CR40","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.apal.2014.08.003","volume":"166","author":"A Kuusisto","year":"2015","unstructured":"Kuusisto, A. (2015). Second-order propositional modal logic and monadic alternation hierarchies. Annals of Pure and Applied Logic, 166(1), 1\u201328.","journal-title":"Annals of Pure and Applied Logic"},{"issue":"4","key":"9823_CR41","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1305\/ndjfl\/1093957655","volume":"4","author":"K Lambert","year":"1963","unstructured":"Lambert, K. (1963). Existential import revisited. Notre Dame Journal of Formal Logic, 4(4), 288\u2013292.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9823_CR42","unstructured":"Lewis, C. I., & Langford, C. H. (1932). Symbolic Logic 2nd ed., (Vol. 5). New York: Dover Publications."},{"key":"9823_CR43","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1002\/malq.19550010205","volume":"1","author":"R Myhill","year":"1955","unstructured":"Myhill, R. (1955). Creative sets. Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik, 1, 97\u2013108.","journal-title":"Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik"},{"key":"9823_CR44","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/S0049-237X(08)71260-6","volume":"101","author":"A Nerode","year":"1980","unstructured":"Nerode, A., & Shore, R. A. (1980). Second order logic and first order theories of reducibility orderings. Studies in logic and the foundations of mathematics, 101, 181\u2013200.","journal-title":"Studies in logic and the foundations of mathematics"},{"key":"9823_CR45","volume-title":"Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers","author":"P Odifreddi","year":"1989","unstructured":"Odifreddi, P. (1989). Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers. Amsterdam: North-Holland."},{"key":"9823_CR46","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1090\/S0002-9904-1944-08111-1","volume":"50","author":"EL Post","year":"1944","unstructured":"Post, E. L. (1944). Recursively enumerable sets of positive integers and their decision problems. Bulletin of the American Mathematical Society, 50, 284\u2013316.","journal-title":"Bulletin of the American Mathematical Society"},{"issue":"1","key":"9823_CR47","doi-asserted-by":"publisher","first-page":"3","DOI":"10.2307\/2185369","volume":"98","author":"N Salmon","year":"1989","unstructured":"Salmon, N. (1989). The logic of what might have been. Philosophical Review, 98(1), 3\u201334.","journal-title":"Philosophical Review"},{"key":"9823_CR48","doi-asserted-by":"publisher","DOI":"10.1515\/9781400842292","volume-title":"Mere Possibilities","author":"R Stalnaker","year":"2012","unstructured":"Stalnaker, R. (2012). Mere Possibilities. Princeton: Princeton University Press."},{"issue":"509","key":"9823_CR49","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1093\/mind\/fzx001","volume":"128","author":"T Teitel","year":"2019","unstructured":"Teitel, T. (2019). Contingent existence and the reduction of modality to essence. Mind, 128(509), 39\u201368.","journal-title":"Mind"},{"issue":"2","key":"9823_CR50","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/s10992-005-9012-9","volume":"35","author":"B ten Cate","year":"2006","unstructured":"ten Cate, B. (2006). Expressivity of second order propositional modal logic. Journal of Philosophical Logic, 35(2), 209\u2013223.","journal-title":"Journal of Philosophical Logic"},{"issue":"2","key":"9823_CR51","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1023\/B:LOGI.0000021744.10237.d0","volume":"33","author":"R Zach","year":"2004","unstructured":"Zach, R. (2004). Decidability of quantified propositional intuitionistic logic and S4 on trees of height and arity $$\\le \\omega $$. Journal of Philosophical Logic, 33(2), 155\u2013164.","journal-title":"Journal of Philosophical Logic"},{"key":"9823_CR52","doi-asserted-by":"crossref","unstructured":"Williamson, T. (2013). Modal Logic as Metaphysics. Oxford University Press.","DOI":"10.1093\/acprof:oso\/9780199552078.001.0001"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-025-09823-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10992-025-09823-5","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-025-09823-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,7]],"date-time":"2026-03-07T07:28:41Z","timestamp":1772868521000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10992-025-09823-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,2]]},"references-count":52,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2026,2]]}},"alternative-id":["9823"],"URL":"https:\/\/doi.org\/10.1007\/s10992-025-09823-5","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,2]]},"assertion":[{"value":"6 November 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 November 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 February 2026","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"Not applicable","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical Approval"}}]}}