Dynamic logic for belief revision

By J. Benthem. J. Appl. Non Class. Logics, 2007

486 citations recorded by the source corpus.

Subfields: Artificial Intelligence

View Paper: https://www.semanticscholar.org/paper/0e5ddc0d2224251be8e431899406edeed6283b95

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Sonja Smets
2. Alexandru Baltag
3. J. Benthem
4. Fenrong Liu
5. Davide Grossi
6. Emiliano Lorini
7. Cristiano Castelfranchi

Citations in the corpus

• Priority Structures in Deontic Logic (2014, background): “, belief revision [43], but also of deontic changes [6].”
• A qualitative theory of dynamic interactive belief revision (2008, methodology): “Finally, the relation of entailment P | = Q between doxastic propositions is given pointwise by inclusion: P | = Q iff P S ⊆ Q S for all S .”
• The cognitive structure of surprise: looking for basic principles (2007, background): “…of an update process on a model are independent from 21For belief revisionwith inconsistent information see for instance Herzig and Longin (2002); van Benthem (2006). the fact that the update process may be executed after or before a sequence of actions (a sequence where each element is either…”