First-order dialogical games and tableaux (Q484155): Difference between revisions

@@ Property / cites work @@
+Dialogues, strategies, and intuitionistic provability
+Normal rank
@@ Property / cites work @@
+Q4342083
@@ Property / cites work: Q4342083 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996619
@@ Property / cites work: Q3996619 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5817866
@@ Property / cites work: Q5817866 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753598
@@ Property / cites work: Q2753598 / rank @@
+Normal rank
@@ Property / cites work @@
+Dialogspiele als Semantische Grundlage von Logikkalkülen
+Normal rank
@@ Property / cites work @@
+Basic objectives of dialogue logic in historical perspective
+Normal rank
@@ Property / cites work @@
+Q3874172
@@ Property / cites work: Q3874172 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3101111
@@ Property / cites work: Q3101111 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5703108
@@ Property / cites work: Q5703108 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank