Models for relevant modal logics

DOI10.1007/BF00370161zbMATH Open0726.03011OpenAlexW2034678120MaRDI QIDQ2277439FDOQ2277439

Authors: André Fuhrmann 

Publication date: 1990

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00370161

Recommendations

• Simplified semantics for basic relevant logics
• The incompleteness of RGL
• Mostly Meyer modal models
• Real reduced models for relevant logics without WI
• General frames for relevant modal logics

zbMATH Keywords

Routley-Meyer semanticsconjunctively regular modal relevance logicsunreduced frames

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites Work

• The semantics of entailment. II
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Depth relevance of some paraconsistent logics
• Simplified semantics for basic relevant logics

Cited In (42)

• On modal logics characterized by models with relative accessibility relations. II
• The Modal Logic of Equilibrium Models
• Some Model‐Theoretic Results for the Relevant Logic with Quantification
• Faithful Modeling of Product Lines with Kripke Structures and Modal Logic
• General frames for relevant modal logics
• Title not available (Why is that?)
• A substructural approach to explicit modal logic
• QUANTIFIED MODAL RELEVANT LOGICS
• Normal modal substructural logics with strong negation
• Neighbourhood semantics for modal relevant logics
• One variable relevant logics are S5Ish
• Mechanised modal model theory
• Varieties of Relevant S5
• Epistemic logics for relevant reasoners
• Theory and Applications of Relational Structures as Knowledge Instruments
• Sequent-systems and groupoid models. II
• Model reconciliation in logic programs
• A relevant theory of conditionals
• Modal logics for knowledge representation systems
• Truth translations of basic relevant logics
• Models for stronger normal intuitionistic modal logics
• Title not available (Why is that?)
• Modal correspondence for models
• Toward a general frame semantics for modal many-valued logics
• Modal translations in substructural logics
• Ordering properties for the Routley-Meyer relation \(R\)
• An incomplete relevant modal logic
• Superconnexivity reconsidered
• An incompleteness theorem for modal relevant logics
• Capturing equilibrium models in modal logic
• From pair points to pairs of models
• Real reduced models for relevant logics without WI
• Mostly Meyer modal models
• Title not available (Why is that?)
• Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic
• What is a relevant connective?
• MODAL MODELS FOR BRADWARDINE'S THEORY OF TRUTH
• Grafted frames and S1 -completeness
• Relevant reasoning and implicit beliefs
• The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points
• On the modal interpretation of the connective of realisation
• Boxes are relevant

This page was built for publication: Models for relevant modal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2277439)