Definability and interpolation in non-classical logics
From MaRDI portal
Publication:2498367
DOI10.1007/s11225-006-7203-1zbMath1101.03027OpenAlexW2006614341MaRDI QIDQ2498367
Publication date: 16 August 2006
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-006-7203-1
Modal logic (including the logic of norms) (03B45) Algebraic logic (03G99) Interpolation, preservation, definability (03C40) Intermediate logics (03B55)
Related Items (11)
On propositional definability ⋮ Interpolation properties in the extensions of the logic of inequality ⋮ Simple weakly transitive modal algebras ⋮ Weak interpolation in extensions of the logics S4 and K4 ⋮ Decidability of the interpolation problem and of related properties in tabular logics ⋮ ``That will do: logics of deontic necessity and sufficiency ⋮ 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 ⋮ Interpolation in weakly transitive modal logics ⋮ Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics ⋮ Amalgamation, interpolation, and implicit definability in varieties of algebras ⋮ Uniform Lyndon interpolation property in propositional modal logics
Cites Work
- Undecidable properties of extensions of the logic of provability
- Logical matrices and the amalgamation property
- Interpolation and the Robinson property for logics not closed under the Boolean operations
- Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic
- Interpolation properties of superintuitionistic logics
- Semantical investigations in Heyting's intuitionistic logic
- Interpolation theorems in modal logics. Sufficient conditions
- Amalgamation and interpolation in normal modal logics
- An algebraic approach to non-classical logics
- Investigations in modal and tense logics with applications to problems in philosophy and linguistics
- Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
- Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation
- Intuitionistic logic and implicit definability
- Splitting in the variety of residuated lattices
- Halldén-completeness in super-intuitionistic predicate logics
- An analog of Beth's theorem in normal extensions of the modal logic K4
- Interpolation in practical formal development
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
- Interpolation and Definability in Extensions of the Minimal Logic
- The Projective Beth Property and Interpolation in Positive and Related Logics
- Strongly decidable properties of modal and intuitionistic calculi
- Complexity of interpolation and related problems in positive calculi
- Computer Science Logic
- Definability in Normal Extensions of S4
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Definability and interpolation in non-classical logics
