Modality for Free: Notes on Adding the Tarskian M'{o}glichkeit to Substructural Logics
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
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.
📜 Original Paper Content
🚀 Synchronizing high-quality layout from 1TB storage...