A logic for belief contraction

DOI10.1007/978-3-319-11558-0_48zbMATH Open1432.03023OpenAlexW853429357MaRDI QIDQ2938533FDOQ2938533

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

Recommendations

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (10)

• Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource Bounded Logics
• Belief contraction without recovery
• Belief contraction as nonmonotonic inference
• An algebraic approach to belief contraction and nonmonotonic entailment
• 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)