Linear and affine logics with temporal, spatial and epistemic operators

DOI10.1016/J.TCS.2005.10.043MaRDI QIDQ2368991zbMATH OpenOpenAlexFDO

Authors Norihiro Kamide

Publication date 28 April 2006

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2005.10.043

zbMATH Keywords

completenesslinear logicmodal logicKripke-style semanticsaffine logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Combining Soft Linear Logic and Spatio-temporal Operators
• scientific article; zbMATH DE number 2085286
• Temporal BI: proof system, semantics and translations
• Non-normal modalities in variants of linear logic
• Intuitionistic linear temporal logics

Cites work

• scientific article; zbMATH DE number 3496100 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 1956481 (Why is no real title available?)
• scientific article; zbMATH DE number 2024615 (Why is no real title available?)
• scientific article; zbMATH DE number 1489627 (Why is no real title available?)
• scientific article; zbMATH DE number 1543335 (Why is no real title available?)
• scientific article; zbMATH DE number 1852915 (Why is no real title available?)
• scientific article; zbMATH DE number 1916520 (Why is no real title available?)
• scientific article; zbMATH DE number 972605 (Why is no real title available?)
• A spatial logic for concurrency. I
• A spatial modal logic with a location interpretation
• Anytime, anywhere: modal logics for mobile ambients
• Combining Soft Linear Logic and Spatio-temporal Operators
• Decidability of linear affine logic
• Decision problems for propositional linear logic
• Distributed concurrent linear logic programming
• Dynamic algebras: Examples, constructions, applications
• Informational interpretation of substructural propositional logics
• Kripke semantics for modal substructural logics
• Linear Logics with Communication-merge
• Linear logic
• Logic Programming with Strong Negation and Inexact Predicates
• Logical axiomatizations of space-time. Samples from the literature
• Logics without the contraction rule
• Modal logic
• Multi-dimensional modal logic as a framework for spatio-temporal reasoning
• Normal modal substructural logics with strong negation
• Phase semantics and Petri net interpretation for resource-sensitive strong negation
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• Process-Algebraic Interpretations of Positive Linear and Relevant Logics
• Quantized linear logic, involutive quantales and strong negation
• Reasoning About Space: The Modal Way
• Semantics for relevant logics
• Sequent Calculi for Intuitionistic Linear Logic with Strong Negation
• Sequent-systems and groupoid models. I
• Soft linear logic and polynomial time
• The Logic of Bunched Implications
• The completeness of linear logic for Petri net models
• The logic of information structures
• Timed Petri nets and temporal linear logic

Cited in

(10)

• Paraconsistent computation tree logic
• Coordination: Reo, Nets, and Logic
• Embedding theorems for LTL and its variants
• A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics
• Non-normal modalities in variants of linear logic
• Bounded linear-time temporal logic: a proof-theoretic investigation
• Combining Soft Linear Logic and Spatio-temporal Operators
• Temporal BI: proof system, semantics and translations
• Bunched sequential information
• Towards a theory of resource: an approach based on soft exponentials

Describes a project that uses

Uses Software

• SLMC

This page was built for publication: Linear and affine logics with temporal, spatial and epistemic operators

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