Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics (Q4053614): Difference between revisions

@@ Property / cites work @@
+Q3235339
@@ Property / cites work: Q3235339 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5509675
@@ Property / cites work: Q5509675 / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke models and intermediate logics
@@ Property / cites work: Kripke models and intermediate logics / rank @@
+Normal rank
@@ Property / cites work @@
+On the finite model property for Kripke models
@@ Property / cites work: On the finite model property for Kripke models / rank @@
+Normal rank
@@ Property / cites work @@
+A study of intermediate predicate logics
@@ Property / cites work: A study of intermediate predicate logics / rank @@
+Normal rank
@@ Property / cites work @@
+On the strong semantical completeness of the intuitionistic predicate calculus
+Normal rank
@@ Property / cites work @@
+On logics intermediate between intuitionistic and classical predicate logic
+Normal rank