A completeness theorem for the general interpreted modal calculus MC**nu of A. Bressan (Q1163535): Difference between revisions

@@ Property / cites work @@
+Q5668436
@@ Property / cites work: Q5668436 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4083394
@@ Property / cites work: Q4083394 / rank @@
+Normal rank
@@ Property / cites work @@
+On the semantics for the language ML\(^\nu\) based on a type system, and those for the type-free language ML\(^\infty\)
+Normal rank
@@ Property / cites work @@
+Q3931253
@@ Property / cites work: Q3931253 / rank @@
+Normal rank
@@ Property / cites work @@
+A formulation of the simple theory of types
@@ Property / cites work: A formulation of the simple theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+The completeness of the first-order functional calculus
+Normal rank
@@ Property / cites work @@
+Completeness in the theory of types
@@ Property / cites work: Completeness in the theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+A generalization of the concept of<i>ω</i>-completeness
+Normal rank
@@ Property / cites work @@
+Q5604443
@@ Property / cites work: Q5604443 / rank @@
+Normal rank
@@ Property / cites work @@
+The elimination of descriptions from A. Bressan's modal language \(ML^\nu\) on which the logical calculus \(MC^\nu\) is based
+Normal rank
@@ Property / cites work @@
+Investigations into quantified modal logic. I
@@ Property / cites work: Investigations into quantified modal logic. I / rank @@
+Normal rank