Modality for Free: Notes on Adding the Tarskian M\"{o}glichkeit to Substructural Logics
Logic
2011-05-10 v2 Logic in Computer Science
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.
Keywords
Cite
@article{arxiv.1105.0354,
title = {Modality for Free: Notes on Adding the Tarskian M\"{o}glichkeit to Substructural Logics},
author = {Robert Rothenberg},
journal= {arXiv preprint arXiv:1105.0354},
year = {2011}
}
Comments
8 pages, work in progress