Pages that link to "Item:Q1810815"
From MaRDI portal
The following pages link to A Sahlqvist theorem for relevant modal logics (Q1810815):
Displayed 17 items.
- Some metacomplete relevant modal logics (Q383574) (← links)
- The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations (Q539157) (← links)
- General frames for relevant modal logics (Q558732) (← links)
- The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models (Q633158) (← links)
- On canonicity of poset expansions (Q651383) (← links)
- Normal modal substructural logics with strong negation (Q1425193) (← links)
- On Sahlqvist formulas in relevant logic (Q1670491) (← links)
- An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics (Q1935555) (← links)
- Halldén completeness for relevant modal logics (Q2354625) (← links)
- Neighbourhood semantics for modal relevant logics (Q2686089) (← links)
- Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL} (Q2695349) (← links)
- CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS (Q3005995) (← links)
- A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC (Q4928772) (← links)
- Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$ (Q5027233) (← links)
- QUANTIFIED MODAL RELEVANT LOGICS (Q5880427) (← links)
- Varieties of Relevant S5 (Q6107284) (← links)
- Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic (Q6196503) (← links)