
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 axiomatization 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 logical framework to use by instantiating it as logics of agency. In particular, we propose a logic to reason about the resource-sensitive use of artefacts and illustrate it with a variety of examples.
FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Linear logic; Minimal modalities; Agency, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], artefacts, Computer Science - Artificial Intelligence, modal logics, Logic in Computer Science (cs.LO), resource-conscious logics, Artificial Intelligence (cs.AI), agency
FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Linear logic; Minimal modalities; Agency, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], artefacts, Computer Science - Artificial Intelligence, modal logics, Logic in Computer Science (cs.LO), resource-conscious logics, Artificial Intelligence (cs.AI), agency
| citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 5 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
