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 logiclinear nested sequentslogical frameworksmultimodalities

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

(17)

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

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)