{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,13]],"date-time":"2025-05-13T22:04:27Z","timestamp":1747173867236,"version":"3.40.5"},"reference-count":60,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T00:00:00Z","timestamp":1651017600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2024,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., \u201cIntuitionistic logic is correct\u201d or \u201cThe law of excluded middle holds\u201d) into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical interpretation of the connectives) and one for \u201cuniversal\u201d consequence (truth preservation under any interpretation). The sequel to this paper explores stronger logics that are sound and complete over various restricted classes of models as well as languages with hyperintensional operators.<\/jats:p>","DOI":"10.1017\/s1755020322000193","type":"journal-article","created":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T10:34:17Z","timestamp":1651055657000},"page":"244-271","update-policy":"https:\/\/doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":1,"title":["THE LOGIC OF HYPERLOGIC. PART A: FOUNDATIONS"],"prefix":"10.1017","volume":"17","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0912-1488","authenticated-orcid":false,"given":"ALEXANDER W.","family":"KOCUREK","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2022,4,27]]},"reference":[{"key":"S1755020322000193_r45","doi-asserted-by":"publisher","DOI":"10.4324\/9780203252642"},{"volume-title":"Inquiry","year":"1984","author":"Stalnaker","key":"S1755020322000193_r56"},{"key":"S1755020322000193_r9","doi-asserted-by":"publisher","DOI":"10.1093\/pq\/pqw028"},{"key":"S1755020322000193_r47","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-012-0100-4"},{"key":"S1755020322000193_r53","doi-asserted-by":"publisher","DOI":"10.2307\/2214477"},{"key":"S1755020322000193_r4","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-9213.2009.627.x"},{"key":"S1755020322000193_r25","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198709008.001.0001"},{"key":"S1755020322000193_r35","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-018-9467-0"},{"key":"S1755020322000193_r1","first-page":"821","volume-title":"Handbook of Modal Logic","author":"Areces","year":"2006"},{"key":"S1755020322000193_r10","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-018-9473-2"},{"key":"S1755020322000193_r27","first-page":"481","volume-title":"Themes from Kaplan","author":"Kaplan","year":"1977"},{"key":"S1755020322000193_r31","unstructured":"[31] Kocurek, A. W. (2022). Axiomatizing hyperlogic. Unpublished manuscript."},{"key":"S1755020322000193_r36","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-019-02103-1"},{"key":"S1755020322000193_r60","doi-asserted-by":"publisher","DOI":"10.1111\/phpr.12330"},{"key":"S1755020322000193_r20","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020319000637"},{"key":"S1755020322000193_r39","unstructured":"[39] Mu\u00f1oz, P. (2020). Behavioral attitudes in hyperintensional grammar. Manuscript, pp. 1\u201341."},{"key":"S1755020322000193_r50","doi-asserted-by":"publisher","DOI":"10.1080\/00048409012340183"},{"key":"S1755020322000193_r23","first-page":"15","article-title":"Generalised sequent calculus for propositional modal logics","volume":"1","author":"Indrzejczak","year":"1997","journal-title":"Logica Trianguli"},{"key":"S1755020322000193_r40","first-page":"159","article-title":"Hyperfine-grained meanings in classical logic","volume":"34","author":"Muskens","year":"1991","journal-title":"Logique et Analyse"},{"key":"S1755020322000193_r51","doi-asserted-by":"publisher","DOI":"10.5840\/philtopics198715112"},{"key":"S1755020322000193_r6","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198812791.001.0001"},{"key":"S1755020322000193_r8","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-011-0038-y"},{"key":"S1755020322000193_r48","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-018-02076-7"},{"key":"S1755020322000193_r43","doi-asserted-by":"publisher","DOI":"10.1007\/s11245-016-9438-4"},{"volume-title":"Relevant Logic: A Philosophical Examination of Inference","year":"1988","author":"Read","key":"S1755020322000193_r44"},{"key":"S1755020322000193_r5","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-017-9446-x"},{"key":"S1755020322000193_r30","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-021-03394-z"},{"volume-title":"Philosophical Applications of Modal Logic","year":"2016","author":"Humberstone","key":"S1755020322000193_r22"},{"key":"S1755020322000193_r34","unstructured":"[34] Krakauer, B. (2012). Counterpossibles. Ph.D. Thesis, University of Massachusetts, Amherst."},{"key":"S1755020322000193_r2","first-page":"1","volume-title":"Logic: From Foundations to Applications","author":"Avron","year":"1996"},{"key":"S1755020322000193_r15","doi-asserted-by":"publisher","DOI":"10.1007\/BF00354523"},{"volume-title":"The Stanford Encyclopedia of Philosophy","year":"2017","author":"Bra\u00fcner","key":"S1755020322000193_r11"},{"key":"S1755020322000193_r57","doi-asserted-by":"crossref","unstructured":"[57] Standefer, S. (2020). Actual issues for relevant logics. Ergo, 7(8), 241\u2013276.","DOI":"10.3998\/ergo.12405314.0007.008"},{"key":"S1755020322000193_r58","doi-asserted-by":"publisher","DOI":"10.26686\/ajl.v14i4.4050"},{"key":"S1755020322000193_r37","doi-asserted-by":"publisher","DOI":"10.1007\/s10670-019-00194-3"},{"key":"S1755020322000193_r59","first-page":"1","article-title":"Probability and danger","volume":"4","author":"Williamson","year":"2009","journal-title":"The Amherst Lecture in Philosophy"},{"key":"S1755020322000193_r49","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-018-01900-4"},{"key":"S1755020322000193_r54","first-page":"79","volume-title":"Issues in Philosophy of Language","author":"Stalnaker","year":"1976b"},{"key":"S1755020322000193_r21","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-019-09536-6"},{"key":"S1755020322000193_r13","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-012-0196-6"},{"key":"S1755020322000193_r17","first-page":"1","article-title":"Fragmentation and logical omniscience","author":"Elga","year":"2021","journal-title":"No\u00fbs"},{"key":"S1755020322000193_r46","first-page":"151","volume-title":"Logic Colloquium 2005","author":"Restall","year":"2006"},{"key":"S1755020322000193_r12","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2005.06.009"},{"key":"S1755020322000193_r38","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1039540767"},{"key":"S1755020322000193_r42","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020308080040"},{"key":"S1755020322000193_r33","first-page":"1","article-title":"Against conventional wisdom","volume":"20","author":"Kocurek","year":"2020","journal-title":"Philosophers\u2019 Imprint"},{"key":"S1755020322000193_r18","doi-asserted-by":"publisher","DOI":"10.1111\/j.1755-2567.1970.tb00432.x"},{"key":"S1755020322000193_r24","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/6.3.505"},{"key":"S1755020322000193_r3","doi-asserted-by":"publisher","DOI":"10.1007\/BF00284976"},{"key":"S1755020322000193_r16","doi-asserted-by":"publisher","DOI":"10.1007\/s11098-004-7790-5"},{"key":"S1755020322000193_r19","doi-asserted-by":"publisher","DOI":"10.5840\/jphil201210938"},{"key":"S1755020322000193_r55","first-page":"315","volume-title":"Syntax and Semantics","author":"Stalnaker","year":"1978"},{"volume-title":"The Stanford Encyclopedia of Philosophy","year":"2021","author":"Berto","key":"S1755020322000193_r7"},{"key":"S1755020322000193_r28","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199604685.001.0001"},{"key":"S1755020322000193_r26","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-014-0461-y"},{"key":"S1755020322000193_r29","doi-asserted-by":"publisher","DOI":"10.1111\/phc3.12787"},{"key":"S1755020322000193_r41","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1039540769"},{"key":"S1755020322000193_r14","doi-asserted-by":"publisher","DOI":"10.2307\/2266613"},{"key":"S1755020322000193_r52","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-007-9069-8"},{"key":"S1755020322000193_r32","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-020-09581-6"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020322000193","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,26]],"date-time":"2024-03-26T09:48:32Z","timestamp":1711446512000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020322000193\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,4,27]]},"references-count":60,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2024,3]]}},"alternative-id":["S1755020322000193"],"URL":"https:\/\/doi.org\/10.1017\/s1755020322000193","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"type":"print","value":"1755-0203"},{"type":"electronic","value":"1755-0211"}],"subject":[],"published":{"date-parts":[[2022,4,27]]},"assertion":[{"value":"\u00a9 The Author(s), 2022. Published by Cambridge University Press on behalf of The Association for Symbolic Logic","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}},{"value":"This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (https:\/\/creativecommons.org\/licenses\/by\/4.0\/), which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original work is properly cited.","name":"license","label":"License","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}