{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T23:48:15Z","timestamp":1771544895920,"version":"3.50.1"},"reference-count":10,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1996,1,1]]},"DOI":"10.1305\/ndjfl\/1040067314","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T21:16:29Z","timestamp":1046207789000},"source":"Crossref","is-referenced-by-count":19,"title":["The Expressive Power of Second-Order Propositional Modal Logic"],"prefix":"10.1215","volume":"37","author":[{"given":"Michael","family":"Kaminski","sequence":"first","affiliation":[]},{"given":"Michael","family":"Tiomkin","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"Fine, K., \u201cPropositional quantifiers in modal logic,\u201d <i>Theoria<\/i>, vol. 36 (1970), pp. 336\u2013346. Zbl 0302.02005 MR 48:5824","DOI":"10.1111\/j.1755-2567.1970.tb00432.x"},{"key":"2","doi-asserted-by":"crossref","unstructured":"Fine, K., \u201cModel theory for modal logic, part I: the <i>de re\/de dicto<\/i> distinction,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 7 (1978), pp. 125\u2013156. Zbl 0375.02008 MR 81f:03024","DOI":"10.1007\/BF00245925"},{"key":"3","doi-asserted-by":"crossref","unstructured":"Fine, K., \u201cModel theory for modal logic, part II: the elimination of <i>de re<\/i> modality,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 7 (1978), pp. 277\u2013306. Zbl 0409.03007 MR 80c:03021","DOI":"10.1007\/BF00245931"},{"key":"4","doi-asserted-by":"crossref","unstructured":"Garson, J. W., \u201cQuantification in modal logic,\u201d pp. 249\u2013307 in <i>Handbook of Philosophical Logic<\/i>, edited by D. Gabbay and F. Guenther, Reidel, Dordrecht, 1984. Zbl 0875.03050 MR 844600","DOI":"10.1007\/978-94-009-6259-0_5"},{"key":"5","doi-asserted-by":"crossref","unstructured":"Gurevich, Y., and S. Shelah, \u201cMonadic theory of order and topology in ZFC,\u201d <i>Annals of Mathematical Logic<\/i>, vol. 23 (1983), pp. 179\u2013198. Zbl 0516.03007 MR 85d:03080","DOI":"10.1016\/0003-4843(82)90004-3"},{"key":"6","doi-asserted-by":"crossref","unstructured":"Gurevich, Y., and S. Shelah, \u201cInterpreting second-order logic in the monadic theory of order,\u201d <i>The Journal of Symbolic Logic<\/i> vol. 48 (1983), pp. 816-828. Zbl 0559.03008 MR 85f:03007","DOI":"10.2307\/2273475"},{"key":"7","unstructured":"Hughes, G. E., and M. J. Cresswell, <i>A Companion to Modal Logic<\/i>, Methuen, London, 1984. Zbl 0625.03005 MR 86j:03014 MR 87k:03015"},{"key":"8","unstructured":"Kamp, H., \u201cTwo related theorems by D. Scott and S. Kripke,\u201d unpublished manuscript, 1977."},{"key":"9","doi-asserted-by":"publisher","unstructured":"Shelah, S., \u201cThe monadic theory of order,\u201d <i>Annals of Mathematics<\/i> vol. 102 (1975), pp. 379\u2013419. Zbl 0345.02034 MR 58:10390","DOI":"10.2307\/1971037"},{"key":"10","unstructured":"Thomason, R. H., \u201cModal logic and metaphysics,\u201d pp. 119\u2013146 in <i>The Logical Way of Doing Things<\/i>, edited by K. Lambert, Yale University Press, New Haven, 1969. Zbl 0188.31705"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1040067314","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:12:42Z","timestamp":1706649162000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-37\/issue-1\/The-Expressive-Power-of-Second-Order-Propositional-Modal-Logic\/10.1305\/ndjfl\/1040067314.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,1,1]]},"references-count":10,"journal-issue":{"issue":"1","published-online":{"date-parts":[[1996,1,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1040067314","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1996,1,1]]}}}