An incompleteness theorem for modal relevant logics

DOI10.1215/00294527-2021-0035MaRDI QIDQ2075284zbMATH OpenOpenAlexFDO

Authors 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

incompletenessmodal logicmodal relevant logicreduced framesrelevant logic

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 incompleteness of RGL
• A Sahlqvist theorem for relevant modal logics
• scientific article; zbMATH DE number 3639591
• Completeness via metacompleteness
• Some metacomplete relevant modal logics

Cites work

• A metacompleteness theorem for contraction-free relevant logics
• An incomplete relevant modal logic
• An introduction to non-classical logic. From if to is
• Blocking the routes to triviality with depth relevance
• CE is not a conservative extension of E
• Completeness of relevant modal logics with disjunctive rules
• Current trends in substructural logics
• Handbook of philosophical logic. Vol. 6
• How to be really contraction free
• scientific article; zbMATH DE number 6609010 (Why is no real title available?)
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 3525100 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 2149468 (Why is no real title available?)
• Models for entailment
• Models for relevant modal logics
• On permutation in simplified semantics
• Operational semantics for positive R
• Paths to triviality
• Real reduced models for relevant logics without WI
• Recent Work in Relevant Logic
• Routes to triviality
• Rules in relevant logic. I: Semantic classification
• Semantics for relevant logics
• Simplified semantics for basic relevant logics
• Simplified semantics for relevant logics (and some of their rivals)
• Some metacomplete relevant modal logics
• The incompleteness of RGL
• The semantics of entailment. II
• Universal logic

Cited in

(14)

• Some descending chains of incomplete modal logics
• On Sahlqvist formulas in relevant logic
• The completeness problem for modal logic
• Modal logic interpretation of Dempster-Shafer theory: An infinite case
• A Sahlqvist theorem for relevant modal logics
• What is a relevant connective?
• Neighbourhood semantics for modal relevant logics
• An incomplete decidable modal logic
• A proof-irrelevant model of Martin-Löf's logical framework
• THE LOGIC OF SEQUENCE FRAMES
• Completeness via metacompleteness
• Varieties of Relevant S5
• A substructural approach to explicit modal logic
• COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2075284)