Q3680806 (Q3680806): Difference between revisions

@@ Property / cites work @@
+Modalities and Quantification
@@ Property / cites work: Modalities and Quantification / rank @@
+Normal rank
@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5604443
@@ Property / cites work: Q5604443 / rank @@
+Normal rank
@@ Property / cites work @@
+A Functional calculus of first order based on strict implication
+Normal rank
@@ Property / cites work @@
+Q4190096
@@ Property / cites work: Q4190096 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+On 'de dicto' modalities in quantified S5
@@ Property / cites work: On 'de dicto' modalities in quantified S5 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank