The following pages link to Models for relevant modal logics (Q2277439):
Displaying 28 items.
- Models for stronger normal intuitionistic modal logics (Q1096613) (← links)
- Modal logics for knowledge representation systems (Q1183584) (← links)
- Modal translations in substructural logics (Q1198409) (← links)
- Modal correspondence for models (Q1267083) (← links)
- Normal modal substructural logics with strong negation (Q1425193) (← links)
- On modal logics characterized by models with relative accessibility relations. II (Q1595920) (← links)
- Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic (Q1868338) (← links)
- A relevant theory of conditionals (Q1908790) (← links)
- An incomplete relevant modal logic (Q1976399) (← links)
- Model reconciliation in logic programs (Q2055814) (← links)
- An incompleteness theorem for modal relevant logics (Q2075284) (← links)
- Mechanised modal model theory (Q2096473) (← links)
- What is a relevant connective? (Q2155944) (← links)
- Toward a general frame semantics for modal many-valued logics (Q2317513) (← links)
- Capturing equilibrium models in modal logic (Q2447178) (← links)
- Neighbourhood semantics for modal relevant logics (Q2686089) (← links)
- (Q2939495) (← links)
- The Modal Logic of Equilibrium Models (Q3172888) (← links)
- MODAL MODELS FOR BRADWARDINE'S THEORY OF TRUTH (Q3580671) (← links)
- Faithful Modeling of Product Lines with Kripke Structures and Modal Logic (Q4621201) (← links)
- (Q4729757) (← links)
- QUANTIFIED MODAL RELEVANT LOGICS (Q5880427) (← links)
- Theory and Applications of Relational Structures as Knowledge Instruments (Q5902049) (← links)
- Varieties of Relevant S5 (Q6107284) (← links)
- A substructural approach to explicit modal logic (Q6156629) (← links)
- One variable relevant logics are S5Ish (Q6606834) (← links)
- Epistemic logics for relevant reasoners (Q6623818) (← links)
- Superconnexivity reconsidered (Q6659906) (← links)