Intuitionistic Layered Graph Logic (Q2817944): Difference between revisions

@@ Property / cites work @@
+Tableaux for Public Announcement Logic
@@ Property / cites work: Tableaux for Public Announcement Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Extendible formulas in two variables in intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Q2855318
@@ Property / cites work: Q2855318 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra and logic for resource-based systems modelling
+Normal rank
@@ Property / cites work @@
+Erratum to: A substructural logic for layered graphs
+Normal rank
@@ Property / cites work @@
+Layered graph logic as an assertion language for access control policy models
+Normal rank
@@ Property / cites work @@
+A Modal BI Logic for Dynamic Resource Properties
@@ Property / cites work: A Modal BI Logic for Dynamic Resource Properties / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic Layered Graph Logic
@@ Property / cites work: Intuitionistic Layered Graph Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Competitive Algorithms for Layered Graph Traversal
+Normal rank
@@ Property / cites work @@
+Tableau methods of proof for modal logics
@@ Property / cites work: Tableau methods of proof for modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics of BI and resource tableaux
@@ Property / cites work: The semantics of BI and resource tableaux / rank @@
+Normal rank
@@ Property / cites work @@
+Q4940719
@@ Property / cites work: Q4940719 / rank @@
+Normal rank
@@ Property / cites work @@
+The formal strong completeness of partial monoidal Boolean BI
+Normal rank
@@ Property / cites work @@
+The Logic of Bunched Implications
@@ Property / cites work: The Logic of Bunched Implications / rank @@
+Normal rank
@@ Property / cites work @@
+Shortest paths without a map
@@ Property / cites work: Shortest paths without a map / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of decomposition into prime factors of layered interconnection networks
+Normal rank
@@ Property / cites work @@
+Possible worlds and resources: The semantics of \(\mathbf{BI}\)
+Normal rank
@@ Property / cites work @@
+Modal logics for communicating systems
@@ Property / cites work: Modal logics for communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logic
@@ Property / cites work: Dynamic epistemic logic / rank @@
+Normal rank