The following pages link to (Q5483007):
Displayed 7 items.
- Normal modal logics determined by aligned clusters (Q519847) (← links)
- A splitting logic in NExt(KTB) (Q995667) (← links)
- Kripke incomplete logics containing KTB (Q995674) (← links)
- About the unification type of \(\mathbf{K}+\square \square \bot\) (Q2134937) (← links)
- On non-compact logics in NEXT(KTB) (Q3545214) (← links)
- On interpolation in NEXT(KB.Alt(2)) (Q4629289) (← links)
- Partitioning Kripke frames of finite height (Q5349257) (← links)