The following pages link to (Q4192037):
Displayed 5 items.
- A decidable noncompact extension of the logic S4 (Q599805) (← links)
- Syntax and semantics of superintuitionistic logics (Q920079) (← links)
- Modal logics with LM-axioms (Q1136748) (← links)
- Completeness of modal logics with prefinite width (Q1835665) (← links)
- On non-compact logics in NEXT(KTB) (Q3545214) (← links)