The following pages link to Splitting lattices of logics (Q3900020):
Displaying 25 items.
- Decidability of the interpolation problem and of related properties in tabular logics (Q431717) (← links)
- Connected modal logics (Q535140) (← links)
- Interpolation properties in the extensions of the logic of inequality (Q606045) (← links)
- An algebraic approach to canonical formulas: modal case (Q647410) (← links)
- Interpolation in weakly transitive modal logics (Q694243) (← links)
- An almost general splitting theorem for modal logic (Q809064) (← links)
- A splitting logic in NExt(KTB) (Q995667) (← links)
- Frame based formulas for intermediate logics (Q1005954) (← links)
- A solution to a problem of Urquhart (Q1177648) (← links)
- Even more about the lattice of tense logics (Q1204117) (← links)
- Willem Blok and modal logic (Q2433092) (← links)
- Semisimple varieties of modal algebras (Q2433105) (← links)
- STABLE CANONICAL RULES (Q2805038) (← links)
- Canonical rules (Q3655251) (← links)
- Mixed algebras and their logics (Q4586236) (← links)
- CANONICAL FORMULAS FOR <b>wK4</b> (Q4899969) (← links)
- STABLE MODAL LOGICS (Q4961739) (← links)
- On the Semilattice of Modal Operators and Decompositions of the Discriminator (Q5015971) (← links)
- Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics (Q5214737) (← links)
- Lattice NExtS4 from the Embedding Theorem Viewpoint (Q5214738) (← links)
- Splittings and the finite model property (Q5287685) (← links)
- V. Yankov’s Contributions to Propositional Logic (Q5886455) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)
- Yankov Characteristic Formulas (An Algebraic Account) (Q5886458) (← links)
- Intermediate logics in the setting of team semantics (Q6612815) (← links)
