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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1080/11663081.1993.10510808
+Normal rank
@@ Property / OpenAlex ID @@
+W2071490614
@@ Property / OpenAlex ID: W2071490614 / rank @@
+Normal rank
@@ 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