Interpolation in non-classical logics
From MaRDI portal
Publication:1024121
DOI10.1007/s11229-008-9359-xzbMath1171.03018MaRDI QIDQ1024121
Publication date: 16 June 2009
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11229-008-9359-x
03C40: Interpolation, preservation, definability
Related Items
On some classes of Heyting algebras with successor that have the amalgamation property, A note on constructive interpolation for the multi-modal logic \(K_m\), Uniform interpolation from cyclic proofs: the case of modal mu-calculus, Craig interpolation in the presence of unreliable connectives, Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus, UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS, Craig Interpolation for Linear Temporal Languages
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Temporal logics with ``the next operator do not have interpolation or the Beth property
- Modal tableau calculi and interpolation
- Der Interpolationssatz der intuitionistischen Prädikatenlogik
- Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
- Repairing the interpolation theorem in quantified modal logic
- Interpolation in fuzzy logic
- Undefinability of propositional quantifiers in the modal system S4
- Failures of the interpolation lemma in quantified modal logic
- Interpolation for extended modal languages
- Interpolation in fragments of intuitionistic propositional logic
- On an interpretation of second order quantification in first order intuitionistic propositional logic
- Contraction-free sequent calculi for intuitionistic logic
- Interpolation in fragments of classical linear logic
- Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
- An extension of the Craig-Lyndon interpolation theorem