The following pages link to (Q4133939):
Displaying 6 items.
- Uniform Lyndon interpolation property in propositional modal logics (Q781510) (← links)
- Interpolation properties of superintuitionistic logics (Q1140079) (← links)
- Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras (Q1150603) (← links)
- Interpolation theorems in modal logics. Sufficient conditions (Q1156788) (← links)
- Amalgamation and interpolation in normal modal logics (Q1189894) (← links)
- Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics (Q5214737) (← links)
