Search Results for author:
Found 4 papers, 0 papers with code
Dynamic Preference Logic meets Iterated Belief Change: Representation Results and Postulates Characterization
Recently, several logics for belief and information change have been proposed in the literature and used to encode belief change operations in rich and expressive semantic frameworks.
Bringing Belief Base Change into Dynamic Epistemic Logic
AGM's belief revision is one of the main paradigms in the study of belief change operations.
Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach
This work investigates how priority graphs, a syntactic representation of preference relations deeply connected to prioritised bases, can be used to characterise belief change operators, focusing on well-known postulates of Iterated Belief Change.
