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

@@ 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.3792/pja/1195519184
+Normal rank
@@ Property / OpenAlex ID @@
+W2035694150
@@ Property / OpenAlex ID: W2035694150 / rank @@
+Normal rank
@@ 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