Reasoning About Belief Revision

DOI10.1007/978-90-481-9609-8_13zbMath1253.03037OpenAlexW2157569638MaRDI QIDQ2912142

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

modal logicstit logicepistemic logicbelief changeAGMbdi logic

Mathematics Subject Classification ID

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

Related Items (2)

Inference as doxastic agency. I: The basics of justification stit logic ⋮ An axiomatic system and a tableau calculus for STIT imagination logic

Cites Work

• A simple modal logic for belief revision
• Dynamic doxastic logic: why, how, and where to?
• Belief, awareness, and limited reasoning
• A textbook of belief dynamics. Theory change and database updating
• Temporal interaction of information and belief
• From BDI and stit to bdi-stit logic
• Decision procedures for BDI logics
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Reasoning About Belief Revision