A uniform framework for substructural logics with modalities
From MaRDI portal
Publication:4645752
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
Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items
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