Intermediate predicate logics determined by ordinals (Q3970346): 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.2307/2274476
@@ Property / full work available at URL: https://doi.org/10.2307/2274476 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2008897582
@@ Property / OpenAlex ID: W2008897582 / rank @@
+Normal rank
@@ Property / cites work @@
+Ordered sets R and Q as bases of Kripke models
@@ Property / cites work: Ordered sets R and Q as bases of 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 @@
+Q4189277
@@ Property / cites work: Q4189277 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3970346