Recommendations
- Definability and interpolation in non-classical logics
- scientific article; zbMATH DE number 1303729
- Interpolation in fragments of classical linear logic
- Interpolation in extensions of first-order logic
- On Interpolation in Existence Logics
- Interpolation in fragments of intuitionistic propositional logic
- A non-classical refinement of the interpolation property for classical propositional logic
- Interpolation in propositional Horn logic
- scientific article; zbMATH DE number 4047685
- First-order interpolation of non-classical logics derived from propositional interpolation
Cites work
- scientific article; zbMATH DE number 2184446 (Why is no real title available?)
- scientific article; zbMATH DE number 3625380 (Why is no real title available?)
- scientific article; zbMATH DE number 1303729 (Why is no real title available?)
- An extension of the Craig-Lyndon interpolation theorem
- An introduction to non-classical logic
- Conservative extensions in modal logic
- Contraction-free sequent calculi for intuitionistic logic
- Der Interpolationssatz der intuitionistischen Prädikatenlogik
- Failures of the interpolation lemma in quantified modal logic
- Interpolation for extended modal languages
- Interpolation in fragments of classical linear logic
- Interpolation in fragments of intuitionistic propositional logic
- Interpolation in fuzzy logic
- Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
- Modal tableau calculi and interpolation
- On an interpretation of second order quantification in first order intuitionistic propositional logic
- Repairing the interpolation theorem in quantified modal logic
- Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
- Temporal logics with ``the next operator do not have interpolation or the Beth property
- Undefinability of propositional quantifiers in the modal system S4
Cited in
(23)- On some classes of Heyting algebras with successor that have the amalgamation property
- The Lyndon property and uniform interpolation over the Grzegorczyk logic
- Uniform interpolation from cyclic proofs: the case of modal mu-calculus
- Conditionals and modularity in general logics
- scientific article; zbMATH DE number 4047685 (Why is no real title available?)
- scientific article; zbMATH DE number 4061207 (Why is no real title available?)
- Three interpolation theorems for typeless logics
- A note on constructive interpolation for the multi-modal logic \(K_m\)
- Interpolation in fuzzy logic
- Craig interpolation in the presence of unreliable connectives
- Lyndon Interpolation for Modal $$\mu $$-Calculus
- Uniform interpolation in substructural logics
- Failure of interpolation in relevant logics
- Interpolation in propositional Horn logic
- Interpolation and the interpretability logic of PA
- Interpolation methods for Dunn logics and their extensions
- Interpolation in extensions of first-order logic
- Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus
- A non-classical refinement of the interpolation property for classical propositional logic
- Interpolation and three-valued logics
- Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic
- Foundations of Software Science and Computation Structures
- Craig Interpolation for Linear Temporal Languages
This page was built for publication: Interpolation in non-classical logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1024121)
