scientific article; zbMATH DE number 3679781
From MaRDI portal
Publication:3875897
Cited in
(27)- Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic
- Interpolation theorems in modal logics. Sufficient conditions
- Amalgamation and interpolation in normal modal logics
- Modal companions of intermediate propositional logics
- Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation
- An algebraic theory of normal forms
- Varieties of logical matrices
- Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras
- Combination of uniform interpolants via Beth definability
- Amalgamation and interpolation in ordered algebras.
- Sequent calculi for global modal consequence relations
- Modularity results for interpolation, amalgamation and superamalgamation
- Weak interpolation in extensions of the logics S4 and K4
- Algebraic characterization of the local Craig interpolation property
- Four-valued logics \(\mathbf {BD}\) and \(\mathbf {DM4}\): expansions
- On interpolation in NEXT(KB.Alt(2))
- Maksimova, relevance and the study of lattices of non-classical logics
- Interpolation in infinitely layered extensions of provability logic
- Interpolation properties in the extensions of the logic of inequality
- The Modelwise Interpolation Property of Semantic Logics
- Simple weakly transitive modal algebras
- Interpolation in weakly transitive modal logics
- The amalgamation property in the variety of regular double stone algebras: a constructive view
- Amalgamation, interpolation, and implicit definability in varieties of algebras
- Undecidable properties of extensions of the logic of provability
- Logical matrices and the amalgamation property
- Definability theorems in normal extensions of the provability logic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3875897)
