Beth definability, interpolation and language splitting

DOI10.1007/s11229-010-9778-3zbMath1231.03033OpenAlexW2019851429MaRDI QIDQ542122

Rohit Parikh

Publication date: 8 June 2011

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-010-9778-3

zbMATH Keywords

interpolationbelief revisioninformation transferBeth definabilitylanguage splitting

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Interpolation, preservation, definability (03C40)

Related Items (3)

Generalizing Parikh’s Criterion for Relevance-Sensitive Belief Revision ⋮ Deductive belief change ⋮ Epistemic Reasoning in Life and Literature

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The many faces of interpolation
• The road to two theorems of logic
• Two modellings for theory change
• Relevance sensitive belief structures
• In memoriam Evert Willem Beth (1909--1964)
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• On the logic of theory change: Partial meet contraction and revision functions
• Parallel interpolation, splitting, and relevance in belief change
• On the degeneracy of the full AGM-theory of theory-revision
• Sets, logic and maths for computing

This page was built for publication: Beth definability, interpolation and language splitting