The semantics of \(R4\)

DOI10.1007/BF01049182zbMath0767.03010MaRDI QIDQ1208151

Edwin D. Mares, Robert K. Meyer

Publication date: 16 May 1993

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

zbMATH Keywords

modal logicKripke modelrelevance logicsnecessity 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)

Related Items (7)

QUANTIFIED MODAL RELEVANT LOGICS ⋮ Varieties of Relevant S5 ⋮ Non-Boolean classical relevant logics. II: Classicality through truth-constants ⋮ Neighbourhood semantics for modal relevant logics ⋮ Normal modal substructural logics with strong negation ⋮ An incomplete relevant modal logic ⋮ MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION

Cites Work

• Semantics for quantified relevance logic
• Models for entailment
• The semantics of entailment. II
• Unnamed Item
• Unnamed Item
• Unnamed Item

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