Non-normal modalities in variants of linear logic

DOI10.1080/11663081.2015.1080422zbMath1398.03208arXiv1503.04193OpenAlexW2149845275MaRDI QIDQ4586144

Nicolas Troquard, Daniele Porello

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

modal logicsagencyartefactsresource-conscious logics

Mathematics Subject Classification ID

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

Cites Work

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

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