Combining Soft Linear Logic and Spatio-temporal Operators

DOI10.1093/LOGCOM/14.5.625MaRDI QIDQ4659503zbMATH OpenOpenAlexFDO

Authors Norihiro Kamide

Publication date 21 March 2005

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/14.5.625

zbMATH Keywords

sequent calculusresource-sensitive reasoningPetri net interpretationspatio-temporal operatorsspatio-temporal soft linear logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Linear and affine logics with temporal, spatial and epistemic operators
• Towards a theory of resource: an approach based on soft exponentials
• Frontiers of Combining Systems
• A multiprocess network logic with temporal and spatial modalities
• scientific article; zbMATH DE number 2243382

Cited in

(5)

• Temporal BI: proof system, semantics and translations
• Linear and affine logics with temporal, spatial and epistemic operators
• Towards a theory of resource: an approach based on soft exponentials
• Gentzen-type methods for bilattice negation
• Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials

This page was built for publication: Combining Soft Linear Logic and Spatio-temporal Operators

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