Abstract The 1985 paper by Carlos Alchourrón (1931–1996), Peter Gärdenfors, and David
Makinson (AGM),“On the Logic of Theory Change: Partial Meet Contraction and Revision …

Abstract Syntax splitting, first introduced by Parikh in 1999, is a natural and desirable
property of KR systems. Syntax splitting combines two aspects: it requires that the outcome …

Belief change (belief revision) is a research area in formal philosophy that makes use of
logic to produce models of how human and artificial agents change their beliefs in response …

Belief revision is the process of changing beliefs to adapt the epistemic state of an agent to a
new piece of information. The logical formalization of belief revision is a topic of research in …

We present a model for iterating the Katsuno and Mendelzon Update (KM-Update) process,
which is inspired by models developed for iterated belief revision in the AGM framework. Our …

A descriptor is a set of sentences that are truth-functional combinations of expressions of the
form B p B p, where BB is a metalinguistic belief predicate and pa sentence in the object …

This work considers the formalisation of the merging process of stratified belief bases, where
beliefs are stored in different layers or strata. Their strata are ranked, following a total order …

This article investigates the properties of multistate top revision, a dichotomous (AGM-style)
model of belief revision that is based on an underlying model of probability revision. A …

We propose a revision operator on a stratified belief base, ie, a belief base that stores beliefs
in different strata corresponding to the value an agent assigns to these beliefs. Furthermore …

Multiple iterated revision requires advanced belief revision techniques that are able to
integrate several pieces of new information into epistemic states. A crucial feature of this …