On a graph approach to modal logics (Q281163): Difference between revisions

@@ Property / cites work @@
+PDL with intersection of programs: a complete axiomatization
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs with graphs
@@ Property / cites work: Proofs with graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning with Graphs
@@ Property / cites work: Reasoning with Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+On graph reasoning
@@ Property / cites work: On graph reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5858676
@@ Property / cites work: Q5858676 / rank @@
+Normal rank