2011/05/02 by Robert Rothenberg, Rothenberg, Robert
Computer Science · #03 #Advanced Algebra and Logic #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
paper · pdf · doi:10.48550/arxiv.1105.0354
openalex publication_date 2011/05/02 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.