Non-normal modalities in variants of linear logic

DOI10.1080/11663081.2015.1080422zbMATH Open1398.03208arXiv1503.04193OpenAlexW2149845275MaRDI QIDQ4586144FDOQ4586144

Authors: Daniele Porello, Nicolas Troquard 

Publication date: 12 September 2018

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

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.

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

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

zbMATH Keywords

modal logicsagencyartefactsresource-conscious logics

Mathematics Subject Classification ID

Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) 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)

Cites Work

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

Cited In (8)

• A substructural modal logic of utility
• Title not available (Why is that?)
• Resource sharing linear logic
• Linear and affine logics with temporal, spatial and epistemic operators
• Linear logic with fixed resources
• Linear modalities in mininal logic
• Title not available (Why is that?)
• A resource-sensitive logic of agency

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)