Pages that link to "Item:Q383574"
From MaRDI portal
The following pages link to Some metacomplete relevant modal logics (Q383574):
Displaying 5 items.
- The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations (Q539157) (← links)
- The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models (Q633158) (← links)
- An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics (Q1935555) (← links)
- An incompleteness theorem for modal relevant logics (Q2075284) (← links)
- Neighbourhood semantics for modal relevant logics (Q2686089) (← links)