Semantic interpolation

DOI10.3166/jancl.20.345-371zbMath1242.03025arXiv0906.4082OpenAlexW4213302835MaRDI QIDQ2901200

Dov M. Gabbay, Karl Schlechta

Publication date: 17 July 2012

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0906.4082

Mathematics Subject Classification ID

Classical first-order logic (03B10) Classical propositional logic (03B05)

Cites Work

• Circumscription - a form of non-monotonic reasoning
• Repairing the interpolation theorem in quantified modal logic
• Distance semantics for belief revision
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• SIZE AND LOGIC
• Roadmap for preferential logics
• Logical tools for handling change in agent-based systems
• On the logic of theory change: Partial meet contraction and revision functions
• Some Results on Classical Preferential Models
• Parallel interpolation, splitting, and relevance in belief change

This page was built for publication: Semantic interpolation