The following pages link to (Q3208624):
Displayed 20 items.
- An almost general splitting theorem for modal logic (Q809064) (← links)
- A splitting logic in NExt(KTB) (Q995667) (← links)
- Kripke incomplete logics containing KTB (Q995674) (← links)
- Frame based formulas for intermediate logics (Q1005954) (← links)
- A discriminator variety of Heyting algebras with involution (Q1055458) (← links)
- On the lattice of extensions of the modal logics \(KAlt_ n\) (Q1111541) (← links)
- Pretabular varieties of modal algebras (Q1150599) (← links)
- Strong completeness with respect to finite Kripke models (Q1167163) (← links)
- Some descending chains of incomplete modal logics (Q1177647) (← links)
- Even more about the lattice of tense logics (Q1204117) (← links)
- The structure of lattices of subframe logics (Q1361249) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Algebraic modal correspondence: Sahlqvist and beyond (Q2401020) (← links)
- In memory of Willem Johannes Blok 1947-2003 (Q2433091) (← links)
- Willem Blok and modal logic (Q2433092) (← links)
- Changing a Semantics: Opportunism or Courage? (Q3454820) (← links)
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (Q5222523) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)
- Universal algebraic methods for non-classical logics (Q6120602) (← links)