Reasoning About Belief Revision

DOI10.1007/978-90-481-9609-8_13MaRDI QIDQ2912142zbMATH OpenOpenAlexFDO

Authors Caroline Semmling, Heinrich Wansing

Publication date 14 September 2012

Published in Belief Revision meets Philosophy of Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-90-481-9609-8_13

zbMATH Keywords

belief changeepistemic logicmodal logicAGMstit logicbdi logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Recommendations

• Prolegomena to dynamic logic for belief revision
• Publication:4867029
• Some completeness theorems in the dynamic doxastic logic of iterated belief revision
• scientific article; zbMATH DE number 912315
• Dynamic hyperintensional belief revision
• Publication:4946225
• A sound and complete temporal logic for belief revision
• A dialogical semantics for Bonanno's system of belief revision
• Belief Revision From the Point of View of Doxastic Logic
• A sketch of a dynamic epistemic semiring

Cites work

• scientific article; zbMATH DE number 733404 (Why is no real title available?)
• scientific article; zbMATH DE number 1421196 (Why is no real title available?)
• A simple modal logic for belief revision
• A sound and complete axiomatic system of bdi-stit logic
• A textbook of belief dynamics. Theory change and database updating
• An introduction to non-classical logic
• Belief, awareness, and limited reasoning
• Change, choice and inference. A study of belief revision and nonmonotonic reasoning
• Decision procedures for BDI logics
• Dynamic doxastic logic: why, how, and where to?
• From BDI and stit to bdi-stit logic
• Knowledge in flux. Modeling the dynamics of epistemic states
• Playing cards with Hintikka: an introduction to dynamic epistemic logic
• Reasoning about rational agents
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Tableaux for multi-agent deliberative-stit logic
• Temporal interaction of information and belief

Cited in

(31)

• scientific article; zbMATH DE number 108002 (Why is no real title available?)
• On uniform belief revision
• Revising probabilities and full beliefs
• A sound and complete axiomatic system of bdi-stit logic
• A model for belief revision
• General Belief Revision
• Functional vs. Relational Approaches to Belief Revision
• An axiomatic system and a tableau calculus for STIT imagination logic
• Revising beliefs on the basis of evidence
• Belief revision and verisimilitude
• Belief revision, rational choice and the unity of reason
• A textbook of belief dynamics. Theory change and database updating
• From BDI and stit to bdi-stit logic
• AGM 25 years. Twenty-five years of research in belief change
• An Epistemological Study of Theory Change
• Iterated belief revision, revised
• Relevance in belief revision
• Four ways in which theories of belief revision could benefit from theories of epistemic justification
• Accommodative Belief Revision
• Abductive Belief Revision in Science
• Inference as doxastic agency. I: The basics of justification stit logic
• Reinforcement Belief Revision
• Deductive belief change
• Descriptor revision. Belief change through direct choice
• JuDAS: a theory of rational belief revision
• Ten Philosophical Problems in Belief Revision
• Operational and complete approaches to belief revision
• Conditionals, Information, and Inference
• scientific article; zbMATH DE number 1241675 (Why is no real title available?)
• Frontiers in belief revision
• Skeptical reason maintenance and belief revision

This page was built for publication: Reasoning About Belief Revision

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2912142)