Semantic interpolation
From MaRDI portal
Publication:2901200
DOI10.3166/jancl.20.345-371zbMath1242.03025arXiv0906.4082OpenAlexW4213302835MaRDI QIDQ2901200
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
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