no code implementations • 30 Oct 2019 • Nerio Borges, Ramón Pino Pérez
In most classical models of belief change, epistemic states are represented by theories (AGM) or formulas (Katsuno-Mendelzon) and the new pieces of information by formulas.