A uniform framework for substructural logics with modalities

DOI10.29007/93QGzbMATH Open1402.03030OpenAlexW2741607924MaRDI QIDQ4645752FDOQ4645752

Carlos Olarte, Elaine Pimentel, Björn Lellmann

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

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

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)

Cited In (11)

• 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
• Title not available (Why is that?)
• Universal proof theory: semi-analytic rules and Craig interpolation
• Explorations in Subexponential Non-associative Non-commutative Linear Logic
• Title not available (Why is that?)
• A subexponential view of domains in session types
• Non-associative, non-commutative multi-modal linear logic
• Title not available (Why is that?)

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)