An incompleteness theorem for modal relevant logics
From MaRDI portal
Publication:2075284
DOI10.1215/00294527-2021-0035OpenAlexW4200068094MaRDI QIDQ2075284
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
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
