arXiv CS AI#tech
Study on Quantitative Dynamic Epistemic Logic for Belief Revisiontranslating…
Factuality: 90/100USACornell University
arXiv:2606.20837v1 Announce Type: new
Abstract: Belief revision is a process in which an agent begins to believe in something she previously did not. I begin the paper by presenting, based on (G\"ardenfors, 1998; Hansson, 1999), postulates for belief revision that constitute the basis of the AGM theory. I will then briefly show the semantics of a modal logic introduced in (van Ditmarsch, 2005), which I call `$P$'. This logic formalizes static epistemic states and has greater expressive power th