We provide a new characterization of AGM belief revision in terms of a Kripke-Stalnaker-Lewis semantics. We consider pointed frames consisting of a set of states, a distinguished state interpreted as the actual state, a Kripke belief relation and a Stalnaker-Lewis selection function. Adding a...

We provide a new characterization of both belief update and belief revision in terms of a Kripke-Lewis semantics. We consider frames consisting of a set of states, a Kripke belief relation and a Lewis selection function. Adding a valuation to a frame yields a model. Given a model and a state, we...

We provide a new characterization of AGM belief revision in terms of a Kripke-Stalnaker-Lewis semantics. We consider pointed frames consisting of a set of states, a distinguished state interpreted as the actual state, a Kripke belief relation and a Stalnaker-Lewis selection function. Adding a...

We provide a new characterization of both belief update and belief revision in terms of a Kripke-Lewis semantics. We consider frames consisting of a set of states, a Kripke belief relation and a Lewis selection function. Adding a valuation to a frame yields a model. Given a model and a state, we...

We study belief change in the branching-time structures introduced in [4]. First, we identify a property of branching-time frames that is equivalent to AGM-consistency, which is defined as follows. A frame is AGM-consistent if the partial belief revision function associated with an arbitrary...

We study belief change branching-time structures. First, we identify a property of branching-time frames that is equivalent to AGM-consistency, which is defined as follows. A frame is AGM-consistent if the partial belief revision function associated with an arbitrary state-instant pair and an...

Within the class of structures introduced in [G. Bonanno, Axiomatic characterization of the AGM theory of belief revision in a temporal logic, Artificial Intelligence, 171 (2007), 144-160] we consider the subclass satisfying the property that, for every state-instant pair (omega,t), there is an...

It is natural to think of belief revision as the interaction of belief and information over time. Thus branching-time temporal logic seems a natural setting for a theory of belief revision. We propose two extensions of a modal logic that, besides the ""next-time"" temporal operator, contains a...