Dynamic logic for belief revision

Johan van Benthem
<span title="">2007</span> <i title="Informa UK Limited"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5dxceprzerhvngc2dulzkx45le" style="color: black;">Journal of Applied Non-Classical Logics</a> </i> &nbsp;
We show how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added. The core engine consists of definable update rules for changing plausibility relations between worlds, which have been proposed independently in the dynamic-epistemic literature on preference change. Our analysis yields two new types of modal result. First, we obtain complete logics for concrete mechanisms of belief revision, based on compositional
more &raquo; ... duction axioms. Next, we show how various abstract postulates for belief revision can be analyzed by standard modal frame correspondences for model-changing operations.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3166/jancl.17.129-155">doi:10.3166/jancl.17.129-155</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7oxnabthubanpdledhbnzsooku">fatcat:7oxnabthubanpdledhbnzsooku</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170811215520/http://www.illc.uva.nl/Research/Publications/Reports/PP-2006-11.text.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/72/b0/72b0ff41369494b9ad704648e97b391b2c1a9ca3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3166/jancl.17.129-155"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>