The following pages link to The incompleteness of RGL (Q1591336):
Displaying 7 items.
- Magari's theorem via the recession frame (Q1090325) (← links)
- On Sahlqvist formulas in relevant logic (Q1670491) (← links)
- An incompleteness theorem for modal relevant logics (Q2075284) (← links)
- Halldén completeness for relevant modal logics (Q2354625) (← links)
- Neighbourhood semantics for modal relevant logics (Q2686089) (← links)
- INCOMPACTNESS OF THE A1 FRAGMENT OF BASIC SECOND ORDER PROPOSITIONAL RELEVANT LOGIC (Q5235069) (← links)
- Hyperintensionality in relevant logics (Q6562548) (← links)