Interpolation in non-classical logics
From MaRDI portal
Publication:1024121
DOI10.1007/s11229-008-9359-xzbMath1171.03018OpenAlexW2088685215MaRDI 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
Related Items
A note on constructive interpolation for the multi-modal logic \(K_m\), Uniform interpolation from cyclic proofs: the case of modal mu-calculus, UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS, On some classes of Heyting algebras with successor that have the amalgamation property, Craig interpolation in the presence of unreliable connectives, Craig Interpolation for Linear Temporal Languages, Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
