Propositional Dynamic Logic as a Logic of Belief Revision

@inproceedings{Eijck2008PropositionalDL,
  title={Propositional Dynamic Logic as a Logic of Belief Revision},
  author={Jan van Eijck and Yanjing Wang},
  booktitle={WoLLIC},
  year={2008}
}
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… CONTINUE READING
Highly Cited
This paper has 28 citations. REVIEW CITATIONS