The semantics of R4

DOI10.1007/BF01049182MaRDI QIDQ1208151zbMATH OpenFDO

Authors 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 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)

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

Cites work

• 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 3296227 (Why is no real title available?)
• Models for entailment
• Semantics for quantified relevance logic
• The semantics of entailment. II

Cited in

(10)

• Non-Boolean classical relevant logics. II: Classicality through truth-constants
• The admissibility of \(\gamma\) in R4
• QUANTIFIED MODAL RELEVANT LOGICS
• 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
• An incomplete relevant modal logic
• Modal logic without contraction in a metatheory without contraction

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)