On AGM for non-classical logics

DOI10.1007/S10992-011-9178-2zbMATH Open1227.03025OpenAlexW2129214558MaRDI QIDQ535331FDOQ535331

Renata Wassermann

Publication date: 11 May 2011

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-011-9178-2

Recommendations

• The AGM theory and inconsistent belief change
• Belief revision in non-classical logics
• Controlled Revision - An algorithmic approach for belief revision
• A survey of belief revision and updating in classical logic
• Belief revision in non-classical logics.

zbMATH Keywords

belief changenonclassical logicAGMpartial meet contraction

Mathematics Subject Classification ID

Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42)

Cites Work

• Two modellings for theory change
• A textbook of belief dynamics. Theory change and database updating
• Change, choice and inference. A study of belief revision and nonmonotonic reasoning
• On the logic of theory change: Partial meet contraction and revision functions
• Propositional calculus for contradictory deductive systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Tractable reasoning via approximation
• Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control
• Title not available (Why is that?)
• Kernel contraction
• Title not available (Why is that?)
• Relevance sensitive belief structures
• Local change
• Title not available (Why is that?)
• Propositional relevance through letter-sharing
• Reversing the Levi identity
• Theory contraction through base contraction
• First degree entailments
• Belief change and inconsistency
• Base Revision for Ontology Debugging
• A paraconsistent theory of belief revision
• Reasoning and revision in hybrid representation systems
• Generalized change and the meaning of rationality postulates
• Approximate belief revision
• Relevance Sensitive Non-Monotonic Inference on Belief Sequences
• Title not available (Why is that?)
• SOFSEM 2006: Theory and Practice of Computer Science

Cited In (10)

• The AGM theory and inconsistent belief change
• Belief revision in non-classical logics
• Title not available (Why is that?)
• Theory contraction and base contraction unified
• A qualitative approach to uncertainty
• Minimal change: relevance and recovery revisited
• Two AGM-style characterizations of model repair
• Against grue mysteries
• Controlled Revision - An algorithmic approach for belief revision
• Paraconsistent dynamics

This page was built for publication: On AGM for non-classical logics

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