Definability and interpolation in non-classical logics
From MaRDI portal
Publication:2498367
Recommendations
Cites work
- scientific article; zbMATH DE number 2184446 (Why is no real title available?)
- scientific article; zbMATH DE number 3124826 (Why is no real title available?)
- scientific article; zbMATH DE number 3941493 (Why is no real title available?)
- scientific article; zbMATH DE number 3659563 (Why is no real title available?)
- scientific article; zbMATH DE number 1302498 (Why is no real title available?)
- scientific article; zbMATH DE number 475243 (Why is no real title available?)
- scientific article; zbMATH DE number 1989661 (Why is no real title available?)
- scientific article; zbMATH DE number 2047484 (Why is no real title available?)
- scientific article; zbMATH DE number 2070197 (Why is no real title available?)
- scientific article; zbMATH DE number 1746556 (Why is no real title available?)
- scientific article; zbMATH DE number 1396683 (Why is no real title available?)
- scientific article; zbMATH DE number 2196596 (Why is no real title available?)
- scientific article; zbMATH DE number 3383979 (Why is no real title available?)
- scientific article; zbMATH DE number 3198011 (Why is no real title available?)
- scientific article; zbMATH DE number 3085803 (Why is no real title available?)
- Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic
- Amalgamation and interpolation in normal modal logics
- An algebraic approach to non-classical logics
- An analog of Beth's theorem in normal extensions of the modal logic K4
- Complexity of interpolation and related problems in positive calculi
- Computer Science Logic
- Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
- Decidable properties of logical calculi and of varieties of algebras
- Definability in Normal Extensions of S4
- Halldén-completeness in super-intuitionistic predicate logics
- Interpolation and Definability in Extensions of the Minimal Logic
- Interpolation and the Robinson property for logics not closed under the Boolean operations
- Interpolation in practical formal development
- Interpolation properties of superintuitionistic logics
- Interpolation theorems in modal logics. Sufficient conditions
- Intuitionistic logic and implicit definability
- Investigations in modal and tense logics with applications to problems in philosophy and linguistics
- Logical matrices and the amalgamation property
- Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation
- Semantical investigations in Heyting's intuitionistic logic
- Splitting in the variety of residuated lattices
- Strongly decidable properties of modal and intuitionistic calculi
- The Projective Beth Property and Interpolation in Positive and Related Logics
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
- Undecidable properties of extensions of the logic of provability
Cited in
(18)- Interpolation in weakly transitive modal logics
- scientific article; zbMATH DE number 2184446 (Why is no real title available?)
- Weak interpolation in extensions of the logics S4 and K4
- On propositional definability
- Undefinability in inquisitive logic with tensor
- Uniform Lyndon interpolation property in propositional modal logics
- Nonstandard definability
- \(\mathcal S\)-prealgebras
- Amalgamation, interpolation, and implicit definability in varieties of algebras
- Interpolation properties in the extensions of the logic of inequality
- Decidability of some interpolation properties for weakly transitive modal logics
- ``That will do: logics of deontic necessity and sufficiency
- Simple weakly transitive modal algebras
- 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10
- scientific article; zbMATH DE number 7104937 (Why is no real title available?)
- Interpolation in non-classical logics
- Interpolation and implicit definability in extensions of the provability logic
- Decidability of the interpolation problem and of related properties in tabular logics
This page was built for publication: Definability and interpolation in non-classical logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2498367)
