{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,13]],"date-time":"2026-05-13T01:08:43Z","timestamp":1778634523953,"version":"3.51.4"},"reference-count":52,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2020,7,21]],"date-time":"2020-07-21T00:00:00Z","timestamp":1595289600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2021,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We propose a dynamic hyperintensional logic of belief revision for non-omniscient agents, reducing the logical omniscience phenomena affecting standard doxastic\/epistemic logic as well as AGM belief revision theory. Our agents don\u2019t know all a priori truths; their belief states are not closed under classical logical consequence; and their belief update policies are such that logically or necessarily equivalent contents can lead to different revisions. We model both plain and conditional belief, then focus on dynamic belief revision. The key idea we exploit to achieve non-omniscience focuses on<jats:italic>topic-<\/jats:italic>or<jats:italic>subject matter-sensitivity<\/jats:italic>: a feature of belief states which is gaining growing attention in the recent literature.<\/jats:p>","DOI":"10.1017\/s1755020319000686","type":"journal-article","created":{"date-parts":[[2020,7,21]],"date-time":"2020-07-21T03:57:16Z","timestamp":1595303836000},"page":"766-811","update-policy":"https:\/\/doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":21,"title":["DYNAMIC HYPERINTENSIONAL BELIEF REVISION"],"prefix":"10.1017","volume":"14","author":[{"given":"AYB\u00dcKE","family":"\u00d6ZG\u00dcN","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"FRANCESCO","family":"BERTO","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2020,7,21]]},"reference":[{"key":"S1755020319000686_r19","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/2.1.5"},{"key":"S1755020319000686_r25","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-934613-04-0.50019-3"},{"key":"S1755020319000686_r41","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2013.07.007"},{"key":"S1755020319000686_r30","first-page":"182","volume-title":"The Blackwell Guide to Philosophical Logic","author":"Meyer","year":"2001"},{"key":"S1755020319000686_r38","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.17.129-155"},{"key":"S1755020319000686_r33","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-3272-8_7"},{"key":"S1755020319000686_r37","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-2865-7_6"},{"key":"S1755020319000686_r6","first-page":"9","article-title":"A qualitative theory of dynamic interactive belief revision","volume":"3","author":"Baltag","year":"2008","journal-title":"Texts in Logic and Games"},{"key":"S1755020319000686_r14","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90003-8"},{"key":"S1755020319000686_r21","doi-asserted-by":"publisher","DOI":"10.1080\/00048402.2017.1388826"},{"key":"S1755020319000686_r40","first-page":"97","volume-title":"Advances in Modal Logic","volume":"9","author":"van Benthem","year":"2012"},{"key":"S1755020319000686_r18","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-018-9810-z"},{"key":"S1755020319000686_r15","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093636609"},{"key":"S1755020319000686_r50","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-015-0945-4"},{"key":"S1755020319000686_r10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884"},{"key":"S1755020319000686_r51","volume-title":"Aboutness","author":"Yablo","year":"2014"},{"key":"S1755020319000686_r16","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-015-9371-9"},{"key":"S1755020319000686_r43","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-011-9347-x"},{"key":"S1755020319000686_r13","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"Fagin","year":"1995"},{"key":"S1755020319000686_r34","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/3.4.535"},{"key":"S1755020319000686_r11","doi-asserted-by":"publisher","DOI":"10.1016\/j.geb.2003.10.006"},{"key":"S1755020319000686_r24","doi-asserted-by":"publisher","DOI":"10.12775\/LLP.2006.019"},{"key":"S1755020319000686_r36","unstructured":"[36] Solaki, A. (2017). Steps out of Logical Omniscience. Master\u2019s Thesis, ILLC, University of Amsterdam."},{"key":"S1755020319000686_r3","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-018-9798-4"},{"key":"S1755020319000686_r7","doi-asserted-by":"publisher","DOI":"10.1007\/s11098-017-0937-y"},{"key":"S1755020319000686_r28","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005577906029"},{"key":"S1755020319000686_r32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67149-9"},{"key":"S1755020319000686_r39","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511974533"},{"key":"S1755020319000686_r4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-52921-8_6"},{"key":"S1755020319000686_r29","unstructured":"[29] Liu, F. (2008). Changing for the Better: Preference Dynamics and Agent Diversity. Ph.D. Thesis, ILLC, University of Amsterdam."},{"key":"S1755020319000686_r5","volume-title":"The Stanford Encyclopedia of Philosophy","author":"Baltag","year":"2016"},{"key":"S1755020319000686_r12","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192"},{"key":"S1755020319000686_r49","doi-asserted-by":"publisher","DOI":"10.1007\/s10849-014-9193-0"},{"key":"S1755020319000686_r35","volume-title":"Logic, Language, Information, and Computation","author":"Smets","year":"2018"},{"key":"S1755020319000686_r2","doi-asserted-by":"publisher","DOI":"10.1016\/j.mathsocsci.2005.01.001"},{"key":"S1755020319000686_r46","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-009-9556-2"},{"key":"S1755020319000686_r44","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-005-1349-7"},{"key":"S1755020319000686_r22","volume-title":"An Introduction to the Logic of the Two Notions","author":"Hintikka","year":"1962"},{"key":"S1755020319000686_r8","doi-asserted-by":"publisher","DOI":"10.1007\/s10670-018-9971-1"},{"key":"S1755020319000686_r52","doi-asserted-by":"publisher","DOI":"10.1111\/phpr.12330"},{"key":"S1755020319000686_r47","unstructured":"[47] Vel\u00e1zquez-Quesada, F. R. , (2011). Small steps in dynamics of information. Ph.D. Thesis, ILLC, University of Amsterdam."},{"key":"S1755020319000686_r9","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/fzy045"},{"key":"S1755020319000686_r17","volume-title":"Theoretical Foundations for Non-Monotonic Reasoning","author":"Gabbay","year":"1985"},{"key":"S1755020319000686_r45","volume-title":"Dynamic Epistemic Logic","author":"van Ditmarsch","year":"2007"},{"key":"S1755020319000686_r42","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.17.157-182"},{"key":"S1755020319000686_r31","unstructured":"[31] \u00d6zg\u00fcn, A. (2017). Evidence in Epistemic Logic: A Topological Perspective. Ph.D. Thesis, University of Amsterdam & Universit\u00e9 de Lorraine."},{"key":"S1755020319000686_r20","doi-asserted-by":"publisher","DOI":"10.1006\/game.2000.0832"},{"key":"S1755020319000686_r26","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(90)90101-5"},{"key":"S1755020319000686_r23","first-page":"178","volume-title":"Advances in Modal Logic","volume":"8","author":"Holliday","year":"2010"},{"key":"S1755020319000686_r27","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-006-9143-8"},{"key":"S1755020319000686_r1","doi-asserted-by":"publisher","DOI":"10.2307\/2274239"},{"key":"S1755020319000686_r48","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36039-8_20"}],"updated-by":[{"DOI":"10.1017\/s1755020321000381","type":"correction","label":"Correction","source":"publisher","updated":{"date-parts":[[2020,7,21]],"date-time":"2020-07-21T00:00:00Z","timestamp":1595289600000}}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020319000686","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,10]],"date-time":"2024-08-10T12:22:35Z","timestamp":1723292555000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020319000686\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,21]]},"references-count":52,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,9]]}},"alternative-id":["S1755020319000686"],"URL":"https:\/\/doi.org\/10.1017\/s1755020319000686","relation":{"correction":[{"id-type":"doi","id":"10.1017\/S1755020321000381","asserted-by":"object"}]},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,7,21]]},"assertion":[{"value":"\u00a9 Association for Symbolic Logic, 2020","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}}]}}