Definability and interpolation in non-classical logics
From MaRDI portal
Publication:2498367
DOI10.1007/S11225-006-7203-1zbMATH Open1101.03027OpenAlexW2006614341MaRDI QIDQ2498367FDOQ2498367
Authors: L. L. Maksimova 
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
Recommendations
Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55) Interpolation, preservation, definability (03C40) Algebraic logic (03G99)
Cites Work
- Title not available (Why is that?)
- Semantical investigations in Heyting's intuitionistic logic
- Title not available (Why is that?)
- An algebraic approach to non-classical logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
- Title not available (Why is that?)
- Title not available (Why is that?)
- Investigations in modal and tense logics with applications to problems in philosophy and linguistics
- Intuitionistic logic and implicit definability
- Title not available (Why is that?)
- Interpolation and Definability in Extensions of the Minimal Logic
- The Projective Beth Property and Interpolation in Positive and Related Logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Amalgamation and interpolation in normal modal logics
- Logical matrices and the amalgamation property
- Decidable properties of logical calculi and of varieties of algebras
- Interpolation and the Robinson property for logics not closed under the Boolean operations
- 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
- An analog of Beth's theorem in normal extensions of the modal logic K4
- Title not available (Why is that?)
- Title not available (Why is that?)
- Definability in Normal Extensions of S4
- Undecidable properties of extensions of the logic of provability
- Complexity of interpolation and related problems in positive calculi
- Computer Science Logic
- Title not available (Why is that?)
- Interpolation properties of superintuitionistic logics
- Strongly decidable properties of modal and intuitionistic calculi
- Interpolation theorems in modal logics. Sufficient conditions
- Splitting in the variety of residuated lattices
- Interpolation in practical formal development
- Title not available (Why is that?)
- Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic
- Halldén-completeness in super-intuitionistic predicate logics
Cited In (18)
- 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10
- Interpolation in non-classical logics
- On propositional definability
- Weak interpolation in extensions of the logics S4 and K4
- Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics
- Interpolation in weakly transitive modal logics
- Title not available (Why is that?)
- Interpolation properties in the extensions of the logic of inequality
- Simple weakly transitive modal algebras
- Amalgamation, interpolation, and implicit definability in varieties of algebras
- \(\mathcal S\)-prealgebras
- Nonstandard definability
- Uniform Lyndon interpolation property in propositional modal logics
- Title not available (Why is that?)
- Undefinability in inquisitive logic with tensor
- ``That will do: logics of deontic necessity and sufficiency
- 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)
