Models for relevant modal logics

DOI10.1007/BF00370161MaRDI QIDQ2277439zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 3496100 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 3260754 (Why is no real title available?)
• Depth relevance of some paraconsistent logics
• Simplified semantics for basic relevant logics
• The semantics of entailment. II

Cited in

(42)

• On the modal interpretation of the connective of realisation
• Boxes are relevant
• 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
• General frames for relevant modal logics
• Faithful Modeling of Product Lines with Kripke Structures and Modal Logic
• scientific article; zbMATH DE number 7655656 (Why is no real title available?)
• A substructural approach to explicit modal logic
• QUANTIFIED MODAL RELEVANT LOGICS
• Normal modal substructural logics with strong negation
• Neighbourhood semantics for modal relevant logics
• Mechanised modal model theory
• One variable relevant logics are S5Ish
• Varieties of Relevant S5
• Epistemic logics for relevant reasoners
• Theory and Applications of Relational Structures as Knowledge Instruments
• Sequent-systems and groupoid models. II
• Modal logics for knowledge representation systems
• Model reconciliation in logic programs
• A relevant theory of conditionals
• Truth translations of basic relevant logics
• Models for stronger normal intuitionistic modal logics
• Modal correspondence for models
• scientific article; zbMATH DE number 6389528 (Why is no real title available?)
• 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
• An incompleteness theorem for modal relevant logics
• Superconnexivity reconsidered
• Real reduced models for relevant logics without WI
• Capturing equilibrium models in modal logic
• From pair points to pairs of models
• Mostly Meyer modal models
• scientific article; zbMATH DE number 4114591 (Why is no real title available?)
• 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

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)