Pages that link to "Item:Q1150603"

The following pages link to Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras (Q1150603):

Displaying 12 items.

• Constructive classifications of modal logics and extensions of minimal logic (Q784471) (← links)
• Amalgamation and interpolation in normal modal logics (Q1189894) (← links)
• Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic (Q1406853) (← links)
• Description of finite solvable minimal non-\({\mathcal F}\)-groups for an arbitrary totally local formation \({\mathcal F}\) (Q1825273) (← links)
• Finite groups with \(f\)-abnormal or \(f\)-subnormal subgroups (Q1898516) (← links)
• On the interpolation property of some intuitionistic modal logics (Q1913298) (← links)
• Existentially closed closure algebras (Q1981991) (← links)
• Algorithms for recognizing restricted interpolation over the modal logic S4 (Q2123084) (← links)
• A note on constructive interpolation for the multi-modal logic \(K_m\) (Q2133432) (← links)
• Restricted interpolation over modal logic S4 (Q2342101) (← links)
• Classification of extensions of the modal logic S4 (Q2436104) (← links)
• <b>PDL</b> has interpolation (Q4779643) (← links)