The following pages link to A. V. Karpenko (Q431658):
Displayed 5 items.
- Weak interpolation in extensions of the logics S4 and K4 (Q431659) (← 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)
- Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics (Q5214737) (← links)