The following pages link to (Q3875897):
Displaying 25 items.
- Weak interpolation in extensions of the logics S4 and K4 (Q431659) (← links)
- Interpolation in infinitely layered extensions of provability logic (Q584241) (← links)
- Interpolation properties in the extensions of the logic of inequality (Q606045) (← links)
- Simple weakly transitive modal algebras (Q619324) (← links)
- Interpolation in weakly transitive modal logics (Q694243) (← links)
- Amalgamation, interpolation, and implicit definability in varieties of algebras (Q744307) (← links)
- Undecidable properties of extensions of the logic of provability (Q757339) (← links)
- Logical matrices and the amalgamation property (Q800348) (← links)
- Definability theorems in normal extensions of the provability logic (Q918958) (← links)
- Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic (Q1077401) (← links)
- Interpolation theorems in modal logics. Sufficient conditions (Q1156788) (← links)
- Amalgamation and interpolation in normal modal logics (Q1189894) (← links)
- Modal companions of intermediate propositional logics (Q1194106) (← links)
- Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation (Q1317604) (← links)
- An algebraic theory of normal forms (Q1346245) (← links)
- Varieties of logical matrices (Q1821771) (← links)
- Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras (Q2084960) (← links)
- Combination of uniform interpolants via Beth definability (Q2090132) (← links)
- Amalgamation and interpolation in ordered algebras. (Q2253035) (← links)
- Sequent calculi for global modal consequence relations (Q2323632) (← links)
- Modularity results for interpolation, amalgamation and superamalgamation (Q2636527) (← links)
- Algebraic Characterization of the Local Craig Interpolation Property (Q4556007) (← links)
- Four-Valued Logics BD and DM4: Expansions (Q4608553) (← links)
- On interpolation in NEXT(KB.Alt(2)) (Q4629289) (← links)
- Maksimova, Relevance and the Study of Lattices of Non-classical Logics (Q5214729) (← links)
