A Logic for Belief Contraction

DOI10.1007/978-3-319-11558-0_48zbMath1432.03023OpenAlexW853429357MaRDI QIDQ2938533

Konstantinos Georgatos

Publication date: 14 January 2015

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-11558-0_48

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Combined logics (03B62)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On combinations of propositional dynamic logic and doxastic modal logics
• Axiomatic characterization of the AGM theory of belief revision in a temporal logic
• On the status of the postulate of recovery in the logic of theory change
• Knowledge, belief and time
• Propositional knowledge base revision and minimal change
• Revision algebra semantics for conditional logic
• To preference via entrenchment
• Iterated belief revision and conditional logic
• A modal logic for discretely descending chains of sets
• Topological reasoning and the logic of knowledge
• Temporal aspects of the modal logic of subset spaces
• Weak AGM postulates and strong Ramsey test: A logical formalization
• Iterated Contraction Based on Indistinguishability
• Geodesic Revision
• Dynamic logic for belief revision
• Belief Revision From the Point of View of Doxastic Logic
• Connecting dynamic epistemic and temporal epistemic logics

This page was built for publication: A Logic for Belief Contraction