An incompleteness theorem for modal relevant logics

DOI10.1215/00294527-2021-0035OpenAlexW4200068094MaRDI QIDQ2075284

Shawn Standefer

Publication date: 14 February 2022

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1215/00294527-2021-0035

zbMATH Keywords

modal logicrelevant logicincompletenessmodal relevant logicreduced frames

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 (6)

THE LOGIC OF SEQUENCE FRAMES ⋮ What is a relevant connective? ⋮ Varieties of Relevant S5 ⋮ Neighbourhood semantics for modal relevant logics ⋮ A substructural approach to explicit modal logic ⋮ COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Current trends in substructural logics
• Paths to triviality
• Some metacomplete relevant modal logics
• Simplified semantics for relevant logics (and some of their rivals)
• On permutation in simplified semantics
• A metacompleteness theorem for contraction-free relevant logics
• Operational semantics for positive R
• Simplified semantics for basic relevant logics
• Real reduced models for relevant logics without WI
• Models for entailment
• The semantics of entailment. II
• How to be really contraction free
• Rules in relevant logic. I: Semantic classification
• CE is not a conservative extension of E
• The incompleteness of RGL
• Routes to triviality
• Handbook of philosophical logic. Vol. 6
• An incomplete relevant modal logic
• Blocking the routes to triviality with depth relevance
• Models for relevant modal logics
• Recent Work in Relevant Logic
• Semantics for relevant logics

This page was built for publication: An incompleteness theorem for modal relevant logics