Pages that link to "Item:Q1317604"
From MaRDI portal
The following pages link to Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation (Q1317604):
Displaying 13 items.
- Restricted interpolation property in superintuitionistic logics (Q431670) (← links)
- Decidability of the interpolation problem and of related properties in tabular logics (Q431717) (← links)
- Interpolation in weakly transitive modal logics (Q694243) (← links)
- Amalgamation, interpolation, and implicit definability in varieties of algebras (Q744307) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- The Beth property in algebraic logic (Q2433094) (← links)
- Projective Beth property in extensions of Grzegorczyk logic (Q2433106) (← links)
- Definability and interpolation in non-classical logics (Q2498367) (← links)
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation (Q2498905) (← links)
- Dominions of universal algebras and projective properties (Q3546134) (← links)
- ON DEFINABILITY IN MULTIMODAL LOGIC (Q3644800) (← links)
- Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics (Q5214737) (← links)
- On Algebraisation of Superintuitionistic Predicate Logics (Q5214741) (← links)
