On AGM for non-classical logics

DOI10.1007/s10992-011-9178-2zbMath1227.03025OpenAlexW2129214558MaRDI QIDQ535331

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

zbMATH Keywords

nonclassical logicbelief changepartial meet contractionAGM

Mathematics Subject Classification ID

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

Related Items (4)

Minimal change: relevance and recovery revisited ⋮ Paraconsistent dynamics ⋮ Two AGM-style characterizations of model repair ⋮ Unnamed Item

Cites Work

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

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