Non-normal modalities in variants of linear logic

Download Edit this record How to cite View on PhilPapers
Abstract
This article presents modal versions of resource-conscious logics. We concentrate on extensions of variants of linear logic with one minimal non-normal modality. In earlier work, where we investigated agency in multi-agent systems, we have shown that the results scale up to logics with multiple non-minimal modalities. Here, we start with the language of propositional intuitionistic linear logic without the additive disjunction, to which we add a modality. We provide an interpretation of this language on a class of Kripke resource models extended with a neighbourhood function: modal Kripke resource models. We propose a Hilbert-style axiomatisation and a Gentzen-style sequent calculus. We show that the proof theories are sound and complete with respect to the class of modal Kripke resource models. We show that the sequent calculus admits cut elimination and that proof-search is in PSPACE. We then show how to extend the results when non-commutative connectives are added to the language. Finally, we put the l..
PhilPapers/Archive ID
PORNMI
Revision history
Archival date: 2018-09-13
View upload history
References found in this work BETA
Decision Problems for Propositional Linear Logic.Lincoln, Patrick; Mitchell, John; Scedrov, Andre & Shankar, Natarajan

View all 13 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index
2015-11-25

Total downloads
21 ( #31,904 of 35,441 )

Recent downloads (6 months)
12 ( #22,225 of 35,441 )

How can I increase my downloads?

Monthly downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.