Pages that link to "Item:Q995674"
From MaRDI portal
The following pages link to Kripke incomplete logics containing KTB (Q995674):
Displaying 5 items.
- Normal modal logics determined by aligned clusters (Q519847) (← links)
- On the modal logic of the non-orthogonality relation between quantum states (Q1711507) (← links)
- On linear Brouwerian logics (Q2922494) (← links)
- On non-compact logics in NEXT(KTB) (Q3545214) (← links)
- Substitutional validity for modal logic (Q6187414) (← links)
