Pages that link to "Item:Q809064"
From MaRDI portal
The following pages link to An almost general splitting theorem for modal logic (Q809064):
Displaying 8 items.
- Not every splitting Heyting or interior algebra is finitely presentable (Q454375) (← links)
- A splitting logic in NExt(KTB) (Q995667) (← links)
- Frame based formulas for intermediate logics (Q1005954) (← links)
- Solving the \$100 modal logic challenge (Q1006738) (← links)
- Even more about the lattice of tense logics (Q1204117) (← links)
- The structure of lattices of subframe logics (Q1361249) (← links)
- Semisimple varieties of modal algebras (Q2433105) (← links)
- Canonical rules (Q3655251) (← links)
