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

@@ 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