{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T19:25:09Z","timestamp":1780082709148,"version":"3.54.0"},"reference-count":60,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2022,10,12]],"date-time":"2022-10-12T00:00:00Z","timestamp":1665532800000},"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,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This is the second part of a two-part series on the logic of hyperlogic, a formal system for regimenting metalogical claims in the object language (even within embedded environments). Part A provided a minimal logic for hyperlogic that is sound and complete over the class of all models. In this part, we extend these completeness results to stronger logics that are sound and complete over restricted classes of models. We also investigate the logic of hyperlogic when the language is enriched with hyperintensional operators such as counterfactual conditionals and belief operators.<\/jats:p>","DOI":"10.1017\/s1755020322000338","type":"journal-article","created":{"date-parts":[[2022,10,13]],"date-time":"2022-10-13T03:40:55Z","timestamp":1665632455000},"page":"654-681","update-policy":"https:\/\/doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":3,"title":["THE LOGIC OF HYPERLOGIC. PART B: EXTENSIONS AND RESTRICTIONS"],"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":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[2022,10,12]]},"reference":[{"key":"S1755020322000338_r17","doi-asserted-by":"crossref","first-page":"716","DOI":"10.1111\/nous.12381","article-title":"Fragmentation and logical omniscience","volume":"56","author":"Elga","year":"2021","journal-title":"No\u00fbs"},{"key":"S1755020322000338_r50","first-page":"79","volume-title":"Issues in Philosophy of Language","author":"Stalnaker","year":"1976b"},{"key":"S1755020322000338_r33","doi-asserted-by":"crossref","first-page":"13661","DOI":"10.1007\/s11229-021-03394-z","article-title":"Logic talk","volume":"199","author":"Kocurek","year":"2021b","journal-title":"Synthese"},{"key":"S1755020322000338_r51","volume-title":"Inquiry","author":"Stalnaker","year":"1984"},{"key":"S1755020322000338_r10","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1007\/s10992-018-9473-2","article-title":"A dynamic solution to the problem of logical omniscience","volume":"48","author":"Bjerring","year":"2019","journal-title":"Journal of Philosophical Logic"},{"key":"S1755020322000338_r20","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1017\/S1755020319000637","article-title":"Classical counterpossibles","volume":"15","author":"French","year":"2020","journal-title":"Review of Symbolic Logic"},{"key":"S1755020322000338_r30","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/s11098-005-3022-x","article-title":"Counterfactuals as short stories","volume":"129","author":"Kim","year":"2006","journal-title":"Philosophical Studies"},{"key":"S1755020322000338_r6","doi-asserted-by":"crossref","first-page":"693","DOI":"10.1007\/s10992-017-9446-x","article-title":"Williamson on counterpossibles","volume":"47","author":"Berto","year":"2018","journal-title":"Journal of Philosophical Logic"},{"key":"S1755020322000338_r7","volume-title":"The Stanford Encyclopedia of Philosophy","author":"Berto","year":"2021"},{"key":"S1755020322000338_r48","first-page":"98","volume-title":"Studies in Logical Theory","volume":"2","author":"Stalnaker","year":"1968"},{"key":"S1755020322000338_r35","doi-asserted-by":"crossref","first-page":"673","DOI":"10.1007\/s10992-020-09581-6","article-title":"Counterlogicals as counterconventionals","volume":"50","author":"Kocurek","year":"2021","journal-title":"Journal of Philosophical Logic"},{"key":"S1755020322000338_r39","volume-title":"Counterfactuals","author":"Lewis","year":"1973"},{"key":"S1755020322000338_r44","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/s11229-012-0100-4","article-title":"Structures and circumstances: Two ways to fine-grain propositions","volume":"189","author":"Ripley","year":"2012","journal-title":"Synthese"},{"key":"S1755020322000338_r59","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1111\/phpr.12330","article-title":"Belief as question-sensitive","volume":"97","author":"Yalcin","year":"2018","journal-title":"Philosophy and Phenomenological Research"},{"key":"S1755020322000338_r25","doi-asserted-by":"crossref","first-page":"113","DOI":"10.5840\/jphil202211938","article-title":"Questions in action","volume":"119","author":"Hoek","year":"2022","journal-title":"Journal of Philosophy"},{"key":"S1755020322000338_r46","doi-asserted-by":"crossref","first-page":"3535","DOI":"10.1007\/s11229-018-01900-4","article-title":"Hyperintensional semantics: A Fregean approach","volume":"197","author":"Skipper","year":"2020","journal-title":"Synthese"},{"key":"S1755020322000338_r12","doi-asserted-by":"crossref","first-page":"639","DOI":"10.1007\/s11229-012-0196-6","article-title":"Remarks on counterpossibles","volume":"190","author":"Brogaard","year":"2013","journal-title":"Synthese"},{"key":"S1755020322000338_r27","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198709008.001.0001","volume-title":"The Impossible","author":"Jago","year":"2014"},{"key":"S1755020322000338_r53","doi-asserted-by":"crossref","first-page":"32","DOI":"10.5840\/jphil201911612","article-title":"Counterpossible non-vacuity in scientific practice","volume":"116","author":"Tan","year":"2019","journal-title":"Journal of Philosophy"},{"key":"S1755020322000338_r21","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/S0004-3702(97)00040-4","article-title":"Modeling belief in dynamic systems, part I: Foundations","volume":"95","author":"Friedman","year":"1997","journal-title":"Artificial Intelligence"},{"key":"S1755020322000338_r1","first-page":"606","volume-title":"Proceedings of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004)","author":"Alechina","year":"2004"},{"key":"S1755020322000338_r28","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1007\/s11229-014-0461-y","article-title":"Hyperintensional propositions","volume":"192","author":"Jago","year":"2015","journal-title":"Synthese"},{"key":"S1755020322000338_r47","first-page":"1","article-title":"A metalinguistic and computational approach to the problem of mathematical omniscience","author":"Soysal","year":"2022","journal-title":"Philosophy and Phenomenological Research"},{"key":"S1755020322000338_r23","doi-asserted-by":"crossref","first-page":"727","DOI":"10.1007\/s10992-019-09536-6","article-title":"The fundamental problem of logical omniscience","volume":"49","author":"Hawke","year":"2019","journal-title":"Journal of Philosophical Logic"},{"key":"S1755020322000338_r40","doi-asserted-by":"crossref","first-page":"516","DOI":"10.1305\/ndjfl\/1039540767","article-title":"Who\u2019s afraid of impossible worlds?","volume":"38","author":"Mares","year":"1997","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"S1755020322000338_r45","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1080\/11663081.2015.1094313","article-title":"Substructural epistemic logics","volume":"25","author":"Sedl\u00e1r","year":"2015","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"S1755020322000338_r15","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/978-94-009-0681-5_9","volume-title":"Truth or Consequences","author":"Cohen","year":"1990"},{"key":"S1755020322000338_r14","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1305\/ndjfl\/1093637773","article-title":"The problem of counterpossibles","volume":"29","author":"Cohen","year":"1987","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"S1755020322000338_r34","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S1755020322000338","article-title":"The logic of hyperlogic. Part A: Foundations","author":"Kocurek","year":"2022","journal-title":"Review of Symbolic Logic"},{"key":"S1755020322000338_r55","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/s11229-005-1349-7","article-title":"Prolegomena to dynamic logic for belief revision","volume":"147","author":"van Ditmarsch","year":"2005","journal-title":"Synthese"},{"key":"S1755020322000338_r11","unstructured":"[11] Boutilier, C. E. (1992). Conditional Logics for Default Reasoning and Belief Revision. Ph.D. Thesis, University of Toronto."},{"key":"S1755020322000338_r49","doi-asserted-by":"crossref","first-page":"65","DOI":"10.2307\/2214477","article-title":"Possible worlds","volume":"10","author":"Stalnaker","year":"1976a","journal-title":"No\u00fbs"},{"key":"S1755020322000338_r16","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1093\/logcom\/7.5.633","article-title":"Reasoning about rational, but not logically omniscient, agents","volume":"7","author":"Duc","year":"1997","journal-title":"Journal of Logic and Computation"},{"key":"S1755020322000338_r57","doi-asserted-by":"crossref","DOI":"10.1002\/9780470696675","volume-title":"The Philosophy of Philosophy","author":"Williamson","year":"2007"},{"key":"S1755020322000338_r3","doi-asserted-by":"crossref","DOI":"10.1093\/0199258872.001.0001","volume-title":"A Philosophical Guide to Conditionals","author":"Bennett","year":"2003"},{"key":"S1755020322000338_r42","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/0004-3702(93)90107-M","article-title":"Belief as defeasible knowledge","volume":"64","author":"Moses","year":"1993","journal-title":"Artificial Intelligence"},{"key":"S1755020322000338_r32","doi-asserted-by":"crossref","first-page":"e12787","DOI":"10.1111\/phc3.12787","article-title":"Counterpossibles","volume":"16","author":"Kocurek","year":"2021a","journal-title":"Philosophy Compass"},{"key":"S1755020322000338_r9","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1093\/pq\/pqw028","article-title":"Granularity problems","volume":"67","author":"Bjerring","year":"2017","journal-title":"The Philosophical Quarterly"},{"key":"S1755020322000338_r18","first-page":"134","article-title":"Impossible worlds and metaphysical explanation: Comments on Kment\u2019s modality and explanatory reasoning","volume":"77","author":"Emery","year":"2017","journal-title":"Analysis"},{"key":"S1755020322000338_r8","doi-asserted-by":"crossref","first-page":"2505","DOI":"10.1007\/s11229-011-0038-y","article-title":"Impossible worlds and logical omniscience: An impossibility result","volume":"190","author":"Bjerring","year":"2013","journal-title":"Synthese"},{"key":"S1755020322000338_r37","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/978-3-642-67458-7_9","volume-title":"Semantics from Different Points of View","author":"Kratzer","year":"1979"},{"key":"S1755020322000338_r26","doi-asserted-by":"crossref","first-page":"325","DOI":"10.12775\/LLP.2006.019","article-title":"Hintikka and Cresswell on logical omniscience","volume":"15","author":"Jago","year":"2007","journal-title":"Logic and Logical Philosophy"},{"key":"S1755020322000338_r19","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1111\/j.1755-2567.1970.tb00432.x","article-title":"Propositional quantifiers in modal logic","volume":"36","author":"Fine","year":"1970","journal-title":"Theoria"},{"key":"S1755020322000338_r54","doi-asserted-by":"crossref","first-page":"129","DOI":"10.3166\/jancl.17.129-155","article-title":"Dynamic logic for belief revision","volume":"17","author":"van Benthem","year":"2007","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"S1755020322000338_r36","unstructured":"[36] Krakauer, B. (2012). Counterpossibles. Ph.D. Thesis, University of Massachusetts, Amherst."},{"key":"S1755020322000338_r4","doi-asserted-by":"crossref","first-page":"2575","DOI":"10.1007\/s11098-016-0672-9","article-title":"Omission impossible","volume":"173","author":"Bernstein","year":"2016","journal-title":"Philosophical Studies"},{"key":"S1755020322000338_r24","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1007\/BF00558761","article-title":"Impossible possible worlds vindicated","volume":"4","author":"Hintikka","year":"1975","journal-title":"Journal of Philosophical Logic"},{"key":"S1755020322000338_r38","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1016\/B978-1-4832-1452-8.50134-2","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings 4th International Conference (KR\u201994)","author":"Lamarre","year":"1994"},{"key":"S1755020322000338_r2","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/j.entcs.2006.05.034","article-title":"Conditional doxastic models: A qualitative approach to dynamic belief revision","volume":"165","author":"Baltag","year":"2006","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"S1755020322000338_r41","doi-asserted-by":"crossref","DOI":"10.1093\/0199245363.001.0001","volume-title":"Objects and Persons","author":"Merricks","year":"2001"},{"key":"S1755020322000338_r52","doi-asserted-by":"crossref","first-page":"193","DOI":"10.5840\/philtopics199624115","article-title":"Impossibilities","volume":"24","author":"Stalnaker","year":"1996","journal-title":"Philosophical Topics"},{"key":"S1755020322000338_r13","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1111\/nous.12205","article-title":"Modal objectivity","volume":"53","author":"Clarke-Doane","year":"2019","journal-title":"No\u00fbs"},{"key":"S1755020322000338_r60","first-page":"165","volume-title":"Christian Theism and the Problems of Philosophy","author":"Zagzebski","year":"1990"},{"key":"S1755020322000338_r58","first-page":"195","article-title":"Counterpossibles in semantics and metaphysics","volume":"2","author":"Williamson","year":"2017","journal-title":"Argumenta"},{"key":"S1755020322000338_r43","doi-asserted-by":"crossref","first-page":"535","DOI":"10.1305\/ndjfl\/1039540769","article-title":"Impossible worlds: A modest approach","volume":"38","author":"Nolan","year":"1997","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"S1755020322000338_r56","first-page":"258","volume-title":"Lewisian Themes","author":"Vander Laan","year":"2004"},{"key":"S1755020322000338_r5","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1111\/j.1467-9213.2009.627.x","article-title":"Impossible worlds and propositions: Against the parity thesis","volume":"60","author":"Berto","year":"2010","journal-title":"The Philosophical Quarterly"},{"key":"S1755020322000338_r29","doi-asserted-by":"crossref","first-page":"530","DOI":"10.1111\/nous.12177","article-title":"Counterpossibles in science: The case of relative computability","volume":"52","author":"Jenny","year":"2018","journal-title":"No\u00fbs"},{"key":"S1755020322000338_r31","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199604685.001.0001","volume-title":"Modality and Explanatory Reasoning","author":"Kment","year":"2014"},{"key":"S1755020322000338_r22","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1080\/05568640409485135","article-title":"An extended Lewis\/Stalnaker semantics and the new problem of counterpossibles","volume":"33","author":"Goodman","year":"2004","journal-title":"Philosophical Papers"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020322000338","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,5]],"date-time":"2024-11-05T11:11:31Z","timestamp":1730805091000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020322000338\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,12]]},"references-count":60,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2024,9]]}},"alternative-id":["S1755020322000338"],"URL":"https:\/\/doi.org\/10.1017\/s1755020322000338","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,10,12]]},"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"}]}}