9 citations · 19 across the 9 of their papers we have counts for
9 papers
Iterated Belief Change, Computationally
Kai Sauerwald, Christoph Beierle
Iterated Belief Change is the research area that investigates principles for the dynamics of beliefs over (possibly unlimited) many subsequent belief changes. In this paper, we dem…
A Conditional Perspective on the Logic of Iterated Belief Contraction
Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle
In this article, we consider iteration principles for contraction, with the goal of identifying properties for contractions that respect conditional beliefs. Therefore, we investig…
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…