Prolegomena to Dynamic Logic for Belief Revision

In 'belief revision' a theory K is revised with a formula φ resulting in a revised theory K * φ. Typically, ¬φ is in K, one has to give up belief in ¬φ by a process of retraction, and φ is in K * φ. We propose to model belief revision in a dynamic epistemic logic. In this setting, we typic...

Ausführliche Beschreibung