Non-normal modalities in variants of linear logic

Abstract

This note 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… (More)
DOI: 10.1080/11663081.2015.1080422

Topics

5 Figures and Tables

Cite this paper

@article{Porello2015NonnormalMI, title={Non-normal modalities in variants of linear logic}, author={Daniele Porello and Nicolas Troquard}, journal={Journal of Applied Non-Classical Logics}, year={2015}, volume={25}, pages={229-255} }