A simple deduction method for modal logic (Q1051628): Difference between revisions

@@ Property / author @@
-Luis Fariñas del Cerro
@@ Property / author: Luis Fariñas del Cerro / rank @@
-Normal rank
@@ Property / author @@
+Luis Fariñas del Cerro
@@ Property / author: Luis Fariñas del Cerro / rank @@
+Normal rank
@@ 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.1016/0020-0190(82)90085-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2048200765
@@ Property / OpenAlex ID: W2048200765 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3696492
@@ Property / cites work: Q3696492 / rank @@
+Normal rank
@@ Property / cites work @@
+Process logic: Expressiveness, decidability, completeness
+Normal rank
@@ Property / cites work @@
+Q5604443
@@ Property / cites work: Q5604443 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4168590
@@ Property / cites work: Q4168590 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank