Linear and affine logics with temporal, spatial and epistemic operators
From MaRDI portal
Publication:2368991
DOI10.1016/j.tcs.2005.10.043zbMath1175.03039OpenAlexW1978386240MaRDI QIDQ2368991
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
Modal logic (including the logic of norms) (03B45) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (9)
Bunched sequential information ⋮ Temporal BI: proof system, semantics and translations ⋮ Non-normal modalities in variants of linear logic ⋮ Paraconsistent computation tree logic ⋮ Embedding theorems for LTL and its variants ⋮ Coordination: Reo, Nets, and Logic ⋮ A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics ⋮ Bounded linear-time temporal logic: a proof-theoretic investigation ⋮ Towards a theory of resource: an approach based on soft exponentials
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logic
- Phase semantics and Petri net interpretation for resource-sensitive strong negation
- Sequent-systems and groupoid models. I
- Dynamic algebras: Examples, constructions, applications
- Decision problems for propositional linear logic
- The logic of information structures
- Informational interpretation of substructural propositional logics
- Normal modal substructural logics with strong negation
- Distributed concurrent linear logic programming
- Quantized linear logic, involutive quantales and strong negation
- Possible worlds and resources: The semantics of \(\mathbf{BI}\)
- Soft linear logic and polynomial time
- Decidability of linear affine logic
- Kripke semantics for modal substructural logics
- Multi-dimensional modal logic as a framework for spatio-temporal reasoning
- A spatial logic for concurrency. I
- The completeness of linear logic for Petri net models
- Logics without the contraction rule
- Logic Programming with Strong Negation and Inexact Predicates
- The Logic of Bunched Implications
- Process-Algebraic Interpretations of Positive Linear and Relevant Logics
- Combining Soft Linear Logic and Spatio-temporal Operators
- Linear Logics with Communication-merge
- Sequent Calculi for Intuitionistic Linear Logic with Strong Negation
- Reasoning About Space: The Modal Way
- Anytime, anywhere
- A spatial modal logic with a location interpretation
- Semantics for relevant logics
This page was built for publication: Linear and affine logics with temporal, spatial and epistemic operators
