A uniform framework for substructural logics with modalities

DOI10.29007/93qgzbMath1402.03030OpenAlexW2741607924MaRDI QIDQ4645752

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

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)

Related Items (5)

A linear logic framework for multimodal logics ⋮ Explorations in Subexponential Non-associative Non-commutative Linear Logic ⋮ A fresh view of linear logic as a logical framework ⋮ Non-associative, non-commutative multi-modal linear logic ⋮ A focused linear logical framework and its application to metatheory of object logics

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