Non-normal modalities in variants of linear logic

DOI10.1080/11663081.2015.1080422MaRDI QIDQ4586144zbMATH OpenOpenAlexFDO

Authors Daniele Porello, Nicolas Troquard

Publication date 12 September 2018

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1503.04193

zbMATH Keywords

agencyartefactsmodal logicsresource-conscious logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

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 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.

Recommendations

• A resource-sensitive logic of agency
• scientific article; zbMATH DE number 1678395
• Resource sharing linear logic
• Linear logic with fixed resources
• A substructural epistemic resource logic: theory and modelling applications

Cites work

• A calculus and logic of resources and processes
• A complete axiomatisation for the inclusion of series-parallel partial orders
• A modal BI logic for dynamic resource properties
• A Modal Logic for Coalitional Power in Games
• A non-minimal but very weak axiomatization of common belief
• A resource-sensitive logic of agency
• A simplified semantics for a fragment of intuitionistic linear logic
• Action theory and social science. Some formal models
• Decision problems for propositional linear logic
• First-order classical modal logic
• Grafting modalities onto substructural implication systems
• scientific article; zbMATH DE number 2185722 (Why is no real title available?)
• scientific article; zbMATH DE number 4099289 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 512773 (Why is no real title available?)
• scientific article; zbMATH DE number 1489627 (Why is no real title available?)
• scientific article; zbMATH DE number 1414365 (Why is no real title available?)
• scientific article; zbMATH DE number 2236613 (Why is no real title available?)
• Intuitionistic phase semantics is almost classical
• Language design issues for agents based on linear logic (extended abstract)
• Linear and affine logics with temporal, spatial and epistemic operators
• Linear logic
• Modelling Multilateral Negotiation in Linear Logic
• Non-commutative logic. I: The multiplicative fragment
• On the axiomatisation of Elgesem's logic of agency and ability
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• Semantics for relevant logics
• The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity
• The Logic of Bunched Implications
• The Mathematics of Sentence Structure
• The semantics and proof theory of linear logic
• Time and modality in the logic of agency

Cited in

(10)

• Linear logic with fixed resources
• Linear modalities in mininal logic
• A modal view on resource-bounded propositional logics
• Linear and affine logics with temporal, spatial and epistemic operators
• scientific article; zbMATH DE number 1678395 (Why is no real title available?)
• A substructural modal logic of utility
• Resource sharing linear logic
• scientific article; zbMATH DE number 7085124 (Why is no real title available?)
• A resource-sensitive logic of agency
• Minimal modal logics, constructive modal logics and their relations

This page was built for publication: Non-normal modalities in variants of linear logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4586144)