Parallel interpolation, splitting, and relevance in belief change

DOI10.2178/jsl/1191333851zbMath1124.03004OpenAlexW1965316830MaRDI QIDQ5422313

David Makinson, George Kourousias

Publication date: 17 October 2007

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

Full work available at URL: https://projecteuclid.org/euclid.jsl/1191333851

zbMATH Keywords

interpolationrelevancesplitting theorembelief changeAGM revision

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Related Items (17)

Progression of Decomposed Local-Effect Action Theories ⋮ Generalizing Parikh’s Criterion for Relevance-Sensitive Belief Revision ⋮ Semantic interpolation ⋮ Propositional relevance through letter-sharing ⋮ Relevant Minimal Change in Belief Update ⋮ Measuring inconsistency with many-valued logics ⋮ The dynamics of relevance: adaptive belief revision ⋮ Finite contractions on infinite belief sets ⋮ Dynamic epistemic logics: promises, problems, shortcomings, and perspectives ⋮ Deductive belief change ⋮ Relevance in belief revision ⋮ An Epistemological Study of Theory Change ⋮ AGM 25 years. Twenty-five years of research in belief change ⋮ Beth definability, interpolation and language splitting ⋮ Mighty belief revision ⋮ Epistemic Reasoning in Life and Literature ⋮ Relevance in Belief Update

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Relevance sensitive belief structures
• A textbook of belief dynamics. Theory change and database updating
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• Relevance Sensitive Non-Monotonic Inference on Belief Sequences

This page was built for publication: Parallel interpolation, splitting, and relevance in belief change