A logic for belief contraction

DOI10.1007/978-3-319-11558-0_48MaRDI QIDQ2938533zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Contraction in propositional logic
• Contraction in propositional logic
• Theory contraction and base contraction unified
• Belief contraction within fragments of propositional logic
• Contracting logics

Cites work

• scientific article; zbMATH DE number 1215464 (Why is no real title available?)
• scientific article; zbMATH DE number 1269568 (Why is no real title available?)
• scientific article; zbMATH DE number 1500665 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 873168 (Why is no real title available?)
• A modal logic for discretely descending chains of sets
• Axiomatic characterization of the AGM theory of belief revision in a temporal logic
• Belief Revision From the Point of View of Doxastic Logic
• Connecting dynamic epistemic and temporal epistemic logics
• Dynamic logic for belief revision
• Geodesic Revision
• Iterated belief revision and conditional logic
• Iterated contraction based on indistinguishability
• Knowledge, belief and time
• On combinations of propositional dynamic logic and doxastic modal logics
• On the status of the postulate of recovery in the logic of theory change
• Propositional knowledge base revision and minimal change
• Revision algebra semantics for conditional logic
• Temporal aspects of the modal logic of subset spaces
• To preference via entrenchment
• Topological reasoning and the logic of knowledge
• Weak AGM postulates and strong Ramsey test: A logical formalization

Cited in

(10)

• Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource Bounded Logics
• Belief contraction without recovery
• An algebraic approach to belief contraction and nonmonotonic entailment
• Belief contraction as nonmonotonic inference
• Contraction in propositional logic
• Contraction in propositional logic
• Contracting logics
• A Grim semantics for logics of belief
• Non-conditional contracting connectives
• Epistemic conditionals and the logic of subsets

This page was built for publication: A logic for belief contraction

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