Pages that link to "Item:Q2498367"
From MaRDI portal
The following pages link to Definability and interpolation in non-classical logics (Q2498367):
Displaying 11 items.
- Weak interpolation in extensions of the logics S4 and K4 (Q431659) (← links)
- Decidability of the interpolation problem and of related properties in tabular logics (Q431717) (← 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)
- Uniform Lyndon interpolation property in propositional modal logics (Q781510) (← links)
- ``That will do'': logics of deontic necessity and sufficiency (Q1706805) (← links)
- On propositional definability (Q2389643) (← links)
- 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 (Q3011106) (← links)
- Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics (Q5214737) (← links)
