Belief revision and dynamic logic
From MaRDI portal
Publication:5249671
Recommendations
Cited in
(31)- Prolegomena to dynamic logic for belief revision
- Temporal Aspects of the Dynamics of Knowledge
- The modal logic of Bayesian belief revision
- Belief Revision From the Point of View of Doxastic Logic
- A qualitative theory of dynamic interactive belief revision
- scientific article; zbMATH DE number 1421196 (Why is no real title available?)
- Interrogative belief revision in modal logic
- scientific article; zbMATH DE number 1301760 (Why is no real title available?)
- Logical dynamics of belief change in the community
- Dynamic preference logic meets iterated belief change: representation results and postulates characterization
- Propositional Dynamic Logic as a Logic of Belief Revision
- A qualitative theory of dynamic interactive belief revision
- Functional vs. Relational Approaches to Belief Revision
- scientific article; zbMATH DE number 733397 (Why is no real title available?)
- Simple hyperintensional belief revision
- Operational and complete approaches to belief revision
- scientific article; zbMATH DE number 2170954 (Why is no real title available?)
- Defining ontological categories in an expansion of belief dynamics
- Dynamic logic for belief revision
- Belief base change as priority change: a study based on dynamic epistemic logic
- Some logics of iterated belief change
- Kinetic Consistency and Relevance in Belief Revision
- A note on belief, question embedding and neg-raising
- On subtler belief revision policies
- Propositional logic based on the dynamics of belief
- Dynamic preference logic as a logic of belief change
- Paraconsistent dynamics
- Belief change: from situation calculus to modal logic
- Two logical faces of belief revision
- Foundations of Software Science and Computation Structures
- Logic and probabilistic update
This page was built for publication: Belief revision and dynamic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5249671)