The following pages link to QUANTIFIED MODAL RELEVANT LOGICS (Q5880427):
Displaying 9 items.
- A theoretical investigation into quantitative modal logic (Q1920333) (← links)
- Modal metatheory for quantified modal logic, with and without the Barcan formulas (Q1982016) (← links)
- Modal logic with bounded quantification over worlds (Q2772882) (← links)
- (Q3509055) (← links)
- (Q5283803) (← links)
- An alternative semantics for quantified relevant logic (Q5477628) (← links)
- Varieties of Relevant S5 (Q6107284) (← links)
- One variable relevant logics are S5Ish (Q6606834) (← links)
- First-order relevant reasoners in classical worlds (Q6638235) (← links)