Herbrand style proof procedures for modal logic (Q4291028): Difference between revisions

@@ Property / cites work @@
+Q3030268
@@ Property / cites work: Q3030268 / rank @@
+Normal rank
@@ Property / cites work @@
+A Modal Herbrand's Property
@@ Property / cites work: A Modal Herbrand's Property / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution for some first-order modal systems
@@ Property / cites work: Resolution for some first-order modal systems / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q5604443
@@ Property / cites work: Q5604443 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5528627
@@ Property / cites work: Q5528627 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3030269
@@ Property / cites work: Q3030269 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3791114
@@ Property / cites work: Q3791114 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory
@@ Property / cites work: Proof theory / rank @@
+Normal rank