The following pages link to The semantics of \(R4\) (Q1208151):
Displaying 9 items.
- Normal modal substructural logics with strong negation (Q1425193) (← links)
- An incomplete relevant modal logic (Q1976399) (← links)
- Neighbourhood semantics for modal relevant logics (Q2686089) (← links)
- MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION (Q5216977) (← links)
- QUANTIFIED MODAL RELEVANT LOGICS (Q5880427) (← links)
- Varieties of Relevant S5 (Q6107284) (← links)
- Non-Boolean classical relevant logics. II: Classicality through truth-constants (Q6147138) (← links)
- One variable relevant logics are S5Ish (Q6606834) (← links)
- First-order relevant reasoners in classical worlds (Q6638235) (← links)
