The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations

DOI10.1007/S11225-011-9315-5zbMath1235.03053OpenAlexW1964110945MaRDI QIDQ539157

Takahiro Seki

Publication date: 27 May 2011

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-011-9315-5

zbMATH Keywords

relevant modal logic\(\gamma \)-admissibilitymetavaluationSahlqvist 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)

Related Items (5)

Some metacomplete relevant modal logics ⋮ An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics ⋮ Neighbourhood semantics for modal relevant logics ⋮ METAVALUATIONS ⋮ The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models

Cites Work

• Some metacomplete relevant modal logics
• The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models
• A metacompleteness theorem for contraction-free relevant logics
• The admissibility of \(\gamma\) in R4
• The semantics of entailment. III
• A Sahlqvist theorem for relevant modal logics
• Classically complete modal relevant logics
• Unnamed Item
• Unnamed Item

This page was built for publication: The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations