Some metacomplete relevant modal logics
From MaRDI portal
Publication:383574
DOI10.1007/S11225-012-9433-8zbMATH Open1315.03031OpenAlexW1967238423MaRDI QIDQ383574FDOQ383574
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
Recommendations
Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- Metacompleteness
- Disjunction and existence under implication in elementary intuitionistic formalisms
- 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
Cited In (10)
- Extending metacompleteness to systems with classical formulae
- A metacompleteness theorem for contraction-free relevant logics
- An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics
- Neighbourhood semantics for modal relevant logics
- Metavaluations
- Title not available (Why is that?)
- An incompleteness theorem for modal relevant logics
- Mostly Meyer modal models
- 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
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)
