{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,20]],"date-time":"2025-09-20T19:47:50Z","timestamp":1758397670498},"reference-count":41,"publisher":"Duke University Press","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1997,4,1]]},"DOI":"10.1305\/ndjfl\/1039724892","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T21:05:35Z","timestamp":1046207135000},"source":"Crossref","is-referenced-by-count":7,"title":["Propositional Quantification in the Topological Semantics for S4"],"prefix":"10.1215","volume":"38","author":[{"given":"Philip","family":"Kremer","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"Bull, R. A., \u201cOn modal logic with propositional quantifiers,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 34 (1969) pp. 257\u201363. Zbl 0184.28101","DOI":"10.1017\/S0022481200094512"},{"key":"2","doi-asserted-by":"crossref","unstructured":"Chellas, B., <i>Modal Logic<\/i>, Cambridge University Press, Cambridge, 1980. Zbl 0431.03009 MR 81i:03019","DOI":"10.1017\/CBO9780511621192"},{"key":"3","doi-asserted-by":"publisher","unstructured":"Dishkant, H., \u201cSet theory as modal logic,\u201d <i>Studia Logica<\/i>, vol. 39 (1980), pp. 335\u201345. Zbl 0463.03007 MR 83a:03054","DOI":"10.1007\/BF00713543"},{"key":"4","doi-asserted-by":"crossref","unstructured":"Fine, K., \u201cPropositional quantifiers in modal logic,\u201d <i>Theoria<\/i>, vol. 36 (1970), pp. 336\u201346. Zbl 0302.02005 MR 48:5824","DOI":"10.1111\/j.1755-2567.1970.tb00432.x"},{"key":"5","doi-asserted-by":"crossref","unstructured":"Gabbay, D., \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. Zbl 0226.02015 MR 47:15","DOI":"10.1002\/malq.19710170128"},{"key":"6","doi-asserted-by":"crossref","unstructured":"Gabbay, D., \u201cOn 2nd order intuitionistic propositional calculus with full comprehension,\u201d <i>Archiv f\u00fcr mathematische Logik und Grundlagenforsch<\/i>, vol. 16 (1974), pp. 177\u201386. Zbl 0289.02016 MR 50:12672","DOI":"10.1007\/BF02015377"},{"key":"7","doi-asserted-by":"crossref","unstructured":"Gabbay, D., <i>Semantical investigations in Heyting's intuitionistic logic<\/i>, Reidel, Dordrecht, 1981. Zbl 0453.03001 MR 83b:03012","DOI":"10.1007\/978-94-017-2977-2_6"},{"key":"8","doi-asserted-by":"crossref","unstructured":"Ghilardi, S., and M. Zawadowski, \u201cUndefinability of propositional quantifiers in the modal system <b>S4<\/b>,\u201d <i>Studia Logica<\/i>, vol. 55 (1995), pp. 259\u201371. Zbl 0831.03008 MR 96j:03029","DOI":"10.1007\/BF01061237"},{"key":"9","doi-asserted-by":"publisher","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\u201328. Zbl 0559.03008 MR 85f:03007","DOI":"10.2307\/2273475"},{"key":"10","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\u201398. Zbl 0516.03007 MR 85d:03080","DOI":"10.1016\/0003-4843(82)90004-3"},{"key":"11","doi-asserted-by":"crossref","unstructured":"Henkin, L., \u201cCompleteness in the theory of types,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 15 (1950), pp. 81\u201391. Zbl 0039.00801 MR 12,70b","DOI":"10.2307\/2266967"},{"key":"12","unstructured":"Jech, T., <i>Set Theory<\/i>, Academic Press, San Diego, 1978. Zbl 0419.03028 MR 80a:03062"},{"key":"13","doi-asserted-by":"crossref","unstructured":"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. Zbl 0895.03005 MR 97c:03063","DOI":"10.1305\/ndjfl\/1040067314"},{"key":"14","unstructured":"Kaplan, D., \u201cS5 with quantifiable propositional variables,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 35 (1970), p. 355."},{"key":"15","unstructured":"Kreisel, G., \u201cMonadic operators defined by means of propositional quantification in intuitionistic logic,\u201d <i>Reports on Mathematical Logic<\/i>, vol. 12 (1981), pp. 9\u201315. Zbl 0464.03051 MR 83a:03011"},{"key":"16","doi-asserted-by":"crossref","unstructured":"Kremer, P., \u201cQuantifying over propositions in relevance logic: non-axiomatisability of $\\forall p$ and $\\exists p$,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 58 (1993), pp. 334\u201349. Zbl 0786.03016 MR 94f:03024","DOI":"10.2307\/2275341"},{"key":"17","doi-asserted-by":"crossref","unstructured":"Kremer. P., \u201cOn the complexity of propositional quantification in intuitionistic logic,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 62 (1997), pp. 529\u201344. Zbl 0887.03002 MR 98k:03020","DOI":"10.2307\/2275545"},{"key":"18","doi-asserted-by":"crossref","unstructured":"Kripke, S., \u201cA completeness theorem in modal logic,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 24 (1959), pp. 1\u201314. Zbl 0091.00902 MR 22:1514","DOI":"10.2307\/2964568"},{"key":"19","doi-asserted-by":"crossref","unstructured":"Kripke, S., \u201cSemantical analysis of modal logic I, normal propositional calculi,\u201d <i>Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik<\/i>, vol. 9 (1963), pp. 67\u201396. Zbl 0118.01305 MR 26:3579","DOI":"10.1002\/malq.19630090502"},{"key":"20","unstructured":"Lewis, C. I., and C. H. Langford, <i>Symbolic Logic<\/i>, 2d edition, Dover Publications, New York, 1932. Zbl 0087.00802 MR 21:4091"},{"key":"21","doi-asserted-by":"crossref","unstructured":"L\u00f6b, M. H., \u201cEmbedding first order predicate logic in fragments of intuitionistic logic,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 41 (1976), pp. 705\u201318. MR 56:79","DOI":"10.2307\/2272390"},{"key":"22","doi-asserted-by":"crossref","unstructured":"McKinsey, J. J. C., \u201cA solution of the decision problem for the Lewis systems S.2 and S.4 with an application to topology,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 6 (1941), pp. 117\u201334. MR 3,290d","DOI":"10.2307\/2267105"},{"key":"23","doi-asserted-by":"crossref","unstructured":"McKinsey, J. J. C.,and A. Tarski, \u201cThe algebra of topology,\u201d <i>Annals of Mathematics<\/i>, vol. 45 (1944), pp. 141\u201391. Zbl0060.06206 MR 5,211f","DOI":"10.2307\/1969080"},{"key":"24","doi-asserted-by":"crossref","unstructured":"McKinsey, J. J. C., and A. Tarski, \u201cOn closed elements in closure algebras,\u201d <i>Annals of Mathematics<\/i>, vol. 47 (1946), pp. 122\u201362. Zbl 0060.06207 MR 7,359e","DOI":"10.2307\/1969038"},{"key":"25","doi-asserted-by":"crossref","unstructured":"McKinsey, J. J. C., and A. Tarski, \u201cSome theorems about the sentential calculi of Lewis and Heyting,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 13 (1948), pp. 1\u201315. MR 9,486q","DOI":"10.2307\/2268135"},{"key":"26","doi-asserted-by":"publisher","unstructured":"Montague, R., \u201cPragmatics and intensional logic,\u201d <i>Synthese<\/i>, vol. 22 (1970), pp. 68\u201394. Zbl 0228.02017","DOI":"10.1111\/j.1746-8361.1970.tb01220.x"},{"key":"27","doi-asserted-by":"crossref","unstructured":"Murungi, R. W., \u201cLewis' postulate of existence disarmed,\u201d <i>Notre Dame Jornal of Formal Logic<\/i>, vol. 21 (1980), pp. 181\u201391. Zbl 0363.02020 MR 81d:03021","DOI":"10.1305\/ndjfl\/1093882954"},{"key":"28","doi-asserted-by":"crossref","unstructured":"Nerode, A., and R. A. Shore, \u201cSecond order logic and first order theories of reducibility orderings,\u201d pp. 181\u201390 in <i>The Kleene Symposium<\/i>, edited by J. Barwise, H. J. Keisler, and K. Kunen, North-Holland, Amsterdam, 1980. Zbl 0465.03024 MR 82g:03078","DOI":"10.1016\/S0049-237X(08)71260-6"},{"key":"29","doi-asserted-by":"crossref","unstructured":"Pitts, A. M., \u201cOn an interpretation of second order quantification in first order intuitionistic propositional logic,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 57 (1992), pp. 33\u201352. Zbl 0763.03009 MR 93h:03009","DOI":"10.2307\/2275175"},{"key":"30","unstructured":"Polacik, T., \u201cOperators defined by propositional quantification and their interpretation over Cantor space,\u201d <i>Reports on Mathematical Logic<\/i>, vol. 27 (1993), pp. 67\u201379. Zbl 0806.03008 MR 95m:03015"},{"key":"31","doi-asserted-by":"crossref","unstructured":"Polacik, T., \u201cSecond order propositional operators over Cantor space,\u201d <i>Studia Logica<\/i>, vol. 53 (1994), pp. 93\u2013105. MR 95f:03011","DOI":"10.1007\/BF01053024"},{"key":"32","doi-asserted-by":"crossref","unstructured":"Rabin, M. O., \u201cDecidability of second-order theories and automata on infinite trees,\u201d <i>Transactions of the American Mathematical Society<\/i>, vol. 131 (1969), pp. 1\u201335. Zbl 0221.02031 MR 40:30","DOI":"10.2307\/1995086"},{"key":"33","doi-asserted-by":"crossref","unstructured":"Rabin, M. O., \u201cDecidable Theories,\u201d pp. 595\u2013629 in <i>The Handbook of Mathematical Logic<\/i>, edited by J. Barwise, North-Holland, Amsterdam, 1977.","DOI":"10.1016\/S0049-237X(08)71116-9"},{"key":"34","unstructured":"Rasiowa, H., and R. Sikorski, <i>The Mathematics of Metamathematics<\/i>, Pa\u0144stwowe Wydawnictwo Naukowe, Warsaw, 1963. Zbl 0122.24311 MR 29:1149"},{"key":"35","doi-asserted-by":"crossref","unstructured":"Scedrov, A., \u201cOn some extensions of second-order intuitionistic propositional calculus,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 27 (1984), pp. 155\u201364. Zbl 0569.03026","DOI":"10.1016\/0168-0072(84)90010-1"},{"key":"36","doi-asserted-by":"crossref","unstructured":"Scott, D., \u201cAdvice on modal logic,\u201d pp. 143\u2013173 in <i>Philosophical Problems in Logic: Some Recent Developments<\/i>, edited by K. Lambert, Reidel, Dordrecht, 1970. Zbl 0295.02013 MR 43:1820","DOI":"10.1007\/978-94-010-3272-8_7"},{"key":"37","unstructured":"Segerberg, K., <i>An Essay on Classical Modal Logic<\/i>, Filosofiska Institutionem vid Uppsala Universitet, Uppsala, 1971."},{"key":"38","unstructured":"Sobolev, S. K., \u201cOn the intuitionistic propositional calculus with quantifiers\u201d (in Russian), <i>Akademiya Nauk Soyuza S.S.R. Matematicheskie Zamietki<\/i>, vol. 22 (1977), pp. 69\u201376. MR 56:15371"},{"key":"39","doi-asserted-by":"crossref","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":"40","doi-asserted-by":"crossref","unstructured":"Tsao-Chen, T., \u201cAlgebraic postulates and a geometric interpretation for the Lewis calculus of strict implication,\u201d <i>Bulletin of the American Mathematical Society<\/i>, vol. 44 (1938), pp. 737\u201344.","DOI":"10.1090\/S0002-9904-1938-06860-7"},{"key":"41","doi-asserted-by":"crossref","unstructured":"Troelstra, A. S., \u201cOn a second-order propositional operator in intuitionistic logic,\u201d <i>Studia Logica<\/i>, vol. 40 (1981), pp. 113\u201339. Zbl 0473.03022 MR 84a:03015","DOI":"10.1007\/BF01874704"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1039724892","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:13:06Z","timestamp":1706649186000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-38\/issue-2\/Propositional-Quantification-in-the-Topological-Semantics-for-S4\/10.1305\/ndjfl\/1039724892.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,4,1]]},"references-count":41,"journal-issue":{"issue":"2","published-online":{"date-parts":[[1997,4,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1039724892","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1997,4,1]]}}}