Propositional Dynamic Logic as a Logic of Belief Revision
Propositional Dynamic Logic as a Logic of Belief Revision
复制标题
DOI：
10.1007/978-3-540-69937-8_13
复制
发表时间：
2008-07
期刊：
影响因子：
--
通讯作者：
J. Eijck;Yanjing Wang
中科院分区：
文献类型：
--
作者：
J. Eijck;Yanjing Wang
This paper shows how propositional dynamic logic (PDL) can be interpreted as a logic for multi-agent belief revision. For that we revise and extend the logic of communication and change (LCC) of [9]. Like LCC, our logic uses PDL as a base epistemic language. Unlike LCC, we start out from agent plausibilities, add their converses, and build knowledge and belief operators from these with the PDL constructs. We extend the update mechanism of LCC to an update mechanism that handles belief change as relation substitution, and we show that the update part of this logic is more expressive than either that of LCC or that of doxastic/epistemic PDL with a belief change modality. It is shown that the properties of knowledge and belief are preserved under any update, and that the logic is complete.
