scientific article; zbMATH DE number 1678395

MaRDI QIDQ2757849zbMATH OpenFDO

Authors Dmitri A. Archangelsky, Michael A. Taitslin

Publication date 4 December 2001

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
• scientific article; zbMATH DE number 1499086
• Linear logic for nets with bounded resources

Cited in

(13)

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

This page was built for publication:

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