The -admissibility of relevant modal logics. I: The method of normal models

DOI10.1007/S11225-011-9306-6MaRDI QIDQ633158zbMATH OpenOpenAlexFDO

Authors Takahiro Seki

Publication date 31 March 2011

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-011-9306-6

zbMATH Keywords

admissibility of Ackermann's rulemodal logicnormal modelrelevant logicRoutley-Meyer semanticsSahlqvist axiom

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

• An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics
• The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations
• Admissible Rules of Modal Logics
• Cut and gamma. I: Propositional and constant domain \textbf{R}
• Classically complete modal relevant logics

Cites work

• A metacompleteness theorem for contraction-free relevant logics
• A Sahlqvist theorem for relevant modal logics
• Begründung einer strengen Implikation
• Classically complete modal relevant logics
• Completeness of relevant modal logics with disjunctive rules
• E, R AND γ
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 3496100 (Why is no real title available?)
• Some metacomplete relevant modal logics
• The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations
• The admissibility of \(\gamma\) in R4
• The semantics of entailment. III
• Where gamma fails

Cited in

(10)

• Where gamma fails
• The admissibility of \(\gamma\) in R4
• An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics
• Cut and gamma. I: Propositional and constant domain \textbf{R}
• Some metacomplete relevant modal logics
• Classically complete modal relevant logics
• A proof of gamma
• The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations
• -admissibility in first-order relevant logics: proof using normal models in the Mares-Goldblatt setting
• Symmetry and completeness in relevant epistemic logic

This page was built for publication: The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models

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