Some metacomplete relevant modal logics

DOI10.1007/S11225-012-9433-8MaRDI QIDQ383574zbMATH OpenOpenAlexFDO

Authors Takahiro Seki

Publication date 5 December 2013

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-012-9433-8

zbMATH Keywords

admissibility of \(\gamma\)consistencymetacompletenessprimenessrelevant modal 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

• Classically complete modal relevant logics
• Metacompleteness of substructural logics
• scientific article; zbMATH DE number 2149468
• A metacompleteness theorem for contraction-free relevant logics
• Mostly Meyer modal models

Cites work

• A metacompleteness theorem for contraction-free relevant logics
• A Sahlqvist theorem for relevant modal logics
• An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics
• Disjunction and existence under implication in elementary intuitionistic formalisms
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 6965723 (Why is no real title available?)
• Metacompleteness
• The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models
• The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations

Cited in

(13)

• A metacompleteness theorem for contraction-free relevant logics
• An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics
• An incompleteness theorem for modal relevant logics
• Neighbourhood semantics for modal relevant logics
• Mostly Meyer modal models
• Extending metacompleteness to systems with classical formulae
• Classically complete modal relevant logics
• Metavaluations
• scientific article; zbMATH DE number 2149468 (Why is no real title available?)
• Completeness via metacompleteness
• The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations
• The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models
• Symmetry and completeness in relevant epistemic logic

This page was built for publication: Some metacomplete relevant modal logics

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