Modal linear logic

DOI10.1007/BFB0023858MaRDI QIDQ2757849zbMATH OpenFDO

Authors Dmitri A. Archangelsky, Michael A. Taitslin

Publication date 4 December 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0023858

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) Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Linear logic with fixed resources
• A resource-sensitive logic of agency
• Non-normal modalities in variants of linear logic
• Multiplicative linear logic for resource transformation nets
• Linear logic for nets with bounded resources

Cited in

(15)

• Linear logic with fixed resources
• Models of linear logic
• Linear modalities in mininal logic
• Linear logic for nets with bounded resources
• Between syntax and semantics of resource oriented logic for IDS behavior description
• scientific article; zbMATH DE number 6215727 (Why is no real title available?)
• A hybrid linear logic for constrained transition systems
• A modality for safe resource sharing and code reentrancy
• Multiplicative linear logic for resource transformation nets
• Non-normal modalities in variants of linear logic
• scientific article; zbMATH DE number 2152689 (Why is no real title available?)
• scientific article; zbMATH DE number 4767 (Why is no real title available?)
• Resource sharing linear logic
• A resource-sensitive logic of agency
• Resource modalities in tensor logic

This page was built for publication: Modal linear logic

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