Pages that link to "Item:Q1810815"

The following pages link to A Sahlqvist theorem for relevant modal logics (Q1810815):

Displaying 25 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)
• The incompleteness of RGL (Q1591336) (← 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)
• Mostly Meyer modal models (Q2735687) (← links)
• Two remarks on strictly implicative formulas in modal logic S3 (Q2751815) (← links)
• CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS (Q3005995) (← links)
• (Q4025891) (← links)
• Classically complete modal relevant logics (Q4304127) (← links)
• A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC (Q4928772) (← links)
• Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$ (Q5027233) (← links)
• (Q5419870) (← 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)
• One variable relevant logics are S5Ish (Q6606834) (← links)
• First-order relevant reasoners in classical worlds (Q6638235) (← links)