Linear and affine logics with temporal, spatial and epistemic operators (Q2368991): Difference between revisions

@@ Property / describes a project that uses @@
+SLMC
@@ Property / describes a project that uses: SLMC / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2005.10.043
+Normal rank
@@ Property / OpenAlex ID @@
+W1978386240
@@ Property / OpenAlex ID: W1978386240 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning About Space: The Modal Way
@@ Property / cites work: Reasoning About Space: The Modal Way / rank @@
+Normal rank
@@ Property / cites work @@
+Q4297115
@@ Property / cites work: Q4297115 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5482812
@@ Property / cites work: Q5482812 / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-dimensional modal logic as a framework for spatio-temporal reasoning
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+A spatial logic for concurrency. I
@@ Property / cites work: A spatial logic for concurrency. I / rank @@
+Normal rank
@@ Property / cites work @@
+Anytime, anywhere
@@ Property / cites work: Anytime, anywhere / rank @@
+Normal rank
@@ Property / cites work @@
+Process-Algebraic Interpretations of Positive Linear and Relevant Logics
+Normal rank
@@ Property / cites work @@
+Sequent-systems and groupoid models. I
@@ Property / cites work: Sequent-systems and groupoid models. I / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4789445
@@ Property / cites work: Q4789445 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4520811
@@ Property / cites work: Q4520811 / rank @@
+Normal rank
@@ Property / cites work @@
+The completeness of linear logic for Petri net models
+Normal rank
@@ Property / cites work @@
+Q4443190
@@ Property / cites work: Q4443190 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4807689
@@ Property / cites work: Q4807689 / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke semantics for modal substructural logics
@@ Property / cites work: Kripke semantics for modal substructural logics / rank @@
+Normal rank
@@ Property / cites work @@
+Sequent Calculi for Intuitionistic Linear Logic with Strong Negation
+Normal rank
@@ Property / cites work @@
+Normal modal substructural logics with strong negation
+Normal rank
@@ Property / cites work @@
+Combining Soft Linear Logic and Spatio-temporal Operators
+Normal rank
@@ Property / cites work @@
+Quantized linear logic, involutive quantales and strong negation
+Normal rank
@@ Property / cites work @@
+Linear Logics with Communication-merge
@@ Property / cites work: Linear Logics with Communication-merge / rank @@
+Normal rank
@@ Property / cites work @@
+A spatial modal logic with a location interpretation
+Normal rank
@@ Property / cites work @@
+Phase semantics and Petri net interpretation for resource-sensitive strong negation
+Normal rank
@@ Property / cites work @@
+Distributed concurrent linear logic programming
@@ Property / cites work: Distributed concurrent linear logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of linear affine logic
@@ Property / cites work: Decidability of linear affine logic / rank @@
+Normal rank
@@ Property / cites work @@
+Soft linear logic and polynomial time
@@ Property / cites work: Soft linear logic and polynomial time / rank @@
+Normal rank
@@ Property / cites work @@
+Decision problems for propositional linear logic
@@ Property / cites work: Decision problems for propositional linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417820
@@ Property / cites work: Q4417820 / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Bunched Implications
@@ Property / cites work: The Logic of Bunched Implications / rank @@
+Normal rank
@@ Property / cites work @@
+Logics without the contraction rule
@@ Property / cites work: Logics without the contraction rule / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic algebras: Examples, constructions, applications
+Normal rank
@@ Property / cites work @@
+Possible worlds and resources: The semantics of \(\mathbf{BI}\)
+Normal rank
@@ Property / cites work @@
+Q5691522
@@ Property / cites work: Q5691522 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4077984
@@ Property / cites work: Q4077984 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4495851
@@ Property / cites work: Q4495851 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics for relevant logics
@@ Property / cites work: Semantics for relevant logics / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming with Strong Negation and Inexact Predicates
+Normal rank
@@ Property / cites work @@
+Informational interpretation of substructural propositional logics
+Normal rank
@@ Property / cites work @@
+The logic of information structures
@@ Property / cites work: The logic of information structures / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2368991