Intuitionistic Layered Graph Logic (Q2817944): Difference between revisions

@@ Property / author @@
-David J. Pym
@@ Property / author: David J. Pym / rank @@
-Normal rank
@@ Property / author @@
+David J. Pym
@@ Property / author: David J. Pym / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2469290325
@@ Property / OpenAlex ID: W2469290325 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:2817944