Modality for Free: Notes on Adding the Tarskian Möglichkeit to Substructural Logics
arXiv:1105.0354
Abstract
We briefly examine the modal formulae that can be derived in Multiplicative Additive Linear Logic (MALL) and some extensions by using Tarksi's extensional modal operators. We also breifly compare this with a substructural form of the modal logic K.
arXiv comment8 pages, work in progress