A uniform framework for substructural logics with modalities

DOI10.29007/93QGMaRDI QIDQ4645752zbMATH OpenOpenAlexFDO

Authors Björn Lellmann, Carlos Olarte, Elaine Pimentel

Publication date 10 January 2019

Published in EPiC Series in Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.29007/93qg

zbMATH Keywords

linear logiclogical frameworkslinear nested sequentsmultimodalities

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

• scientific article; zbMATH DE number 823607
• A substructural approach to explicit modal logic
• scientific article; zbMATH DE number 7204444
• Modal translation of substructural logics
• scientific article; zbMATH DE number 1523046
• Kripke semantics for modal substructural logics
• Modal translations in substructural logics
• scientific article; zbMATH DE number 1543335
• An algebraic approach to subframe logics. Modal case
• Subformula property in many-valued modal logics

Cited in

(14)

• A fresh view of linear logic as a logical framework
• An algebraic approach to subframe logics. Modal case
• A linear logic framework for multimodal logics
• A focused linear logical framework and its application to metatheory of object logics
• Rational points on some Fano quadratic bundles
• scientific article; zbMATH DE number 1523046 (Why is no real title available?)
• Nested sequents or tree-hypersequents -- a survey
• Universal proof theory: semi-analytic rules and Craig interpolation
• Explorations in Subexponential Non-associative Non-commutative Linear Logic
• scientific article; zbMATH DE number 7439733 (Why is no real title available?)
• A subexponential view of domains in session types
• Non-associative, non-commutative multi-modal linear logic
• scientific article; zbMATH DE number 5295858 (Why is no real title available?)
• Facilitating meta-theory reasoning (invited paper)

This page was built for publication: A uniform framework for substructural logics with modalities

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