9 citations · 19 across the 9 of their papers we have counts for
4 papers · 1 filter
AGM Belief Revision, Semantically
Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
We establish a generic, model-theoretic characterization of belief revision operators implementing the paradigm of minimal change according to the seminal work by Alchourrón, Gärde…
Forgetting Formulas and Signature Elements in Epistemic States
A. Becker, G. Kern-Isberner, K. Sauerwald +1
Delgrande's knowledge level account of forgetting provides a general approach to forgetting syntax elements from sets of formulas with links to many other forgetting operations, in…
On Limited Non-Prioritised Belief Revision Operators with Dynamic Scope
Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle
The research on non-prioritized revision studies revision operators which do not accept all new beliefs. In this paper, we contribute to this line of research by introducing the co…
A General Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics
Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
The AGM postulates by Alchourrón, Gärdenfors, and Makinson continue to represent a cornerstone in research related to belief change. We generalize the approach of Katsuno and Mende…