Pages that link to "Item:Q1156788"
From MaRDI portal
The following pages link to Interpolation theorems in modal logics. Sufficient conditions (Q1156788):
Displaying 10 items.
- Amalgamation, interpolation, and implicit definability in varieties of algebras (Q744307) (← links)
- Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras (Q2084960) (← links)
- Combination of uniform interpolants via Beth definability (Q2090132) (← links)
- Definability and interpolation in non-classical logics (Q2498367) (← links)
- Modularity results for interpolation, amalgamation and superamalgamation (Q2636527) (← links)
- Automatic checking properties of non-classical logics (Q3647252) (← links)
- Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics (Q3768872) (← links)
- On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic (Q4917992) (← links)
- Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics (Q5214737) (← links)
- Failure of interpolation in combined modal logics (Q5937819) (← links)