Varieties of Relevant S5

DOI10.12775/llp.2022.011zbMath1530.03094OpenAlexW4223513352MaRDI QIDQ6107284

Shawn Standefer

Publication date: 3 July 2023

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.12775/llp.2022.011

zbMATH Keywords

relevant modal logicS5universal necessityconceptions of necessity

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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• \(\mathbf R\) and relevance principle revisited
• A general characterization of the variable-sharing property by means of logical matrices
• Natural deduction, hybrid systems and modal logics
• Simplified semantics for relevant logics (and some of their rivals)
• A content semantics for quantified relevant logics. II
• Gentzen calculi for modal propositional logic
• On permutation in simplified semantics
• Semantics for quantified relevance logic
• A content semantics for quantified relevant logics. I
• The deducibilities of S5
• Simplified semantics for basic relevant logics
• The semantics of \(R4\)
• The semantics of entailment. II
• Handbook of philosophical logic. Vol. 6
• A Sahlqvist theorem for relevant modal logics
• Positive modal logic
• An incompleteness theorem for modal relevant logics
• Depth relevance and hyperformalism
• What is a relevant connective?
• Models for relevant modal logics
• The one-variable fragment of corsi logic
• Notes on stratified semantics
• Hypersequent Calculi for S5: The Methods of Cut Elimination
• A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5
• Cut-free double sequent calculus for S5
• A cut-free Gentzen formulation of the modal logic S5
• Substructural epistemic logics
• Strong Depth Relevance
• An alternative semantics for quantified relevant logic
• QUANTIFIED MODAL RELEVANT LOGICS

This page was built for publication: Varieties of Relevant S5