The semantics of R4

DOI10.1007/BF01049182zbMATH Open0767.03010MaRDI QIDQ1208151FDOQ1208151

Authors: Edwin D. Mares, Robert K. Meyer 

Publication date: 16 May 1993

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Recommendations

• The admissibility of \(\gamma\) in R4
• scientific article; zbMATH DE number 3296227
• Simplified semantics for basic relevant logics
• scientific article; zbMATH DE number 4053570
• ``Four-valued semantics for the relevant logic R

zbMATH Keywords

modal logicrelevance logicsKripke modelnecessity operatorconservative extension of \(S4\)model-theoretic semantics for \(R4\)

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) 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?)
• Models for entailment
• Semantics for quantified relevance logic
• Title not available (Why is that?)

Cited In (10)

• Non-Boolean classical relevant logics. II: Classicality through truth-constants
• QUANTIFIED MODAL RELEVANT LOGICS
• The admissibility of \(\gamma\) in R4
• Normal modal substructural logics with strong negation
• Neighbourhood semantics for modal relevant logics
• One variable relevant logics are S5Ish
• First-order relevant reasoners in classical worlds
• Varieties of Relevant S5
• MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION
• An incomplete relevant modal logic

This page was built for publication: The semantics of \(R4\)

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