Logics containing <i>K</i>4. Part II (Q3691638): 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/2274318
@@ Property / full work available at URL: https://doi.org/10.2307/2274318 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2137410044
@@ Property / OpenAlex ID: W2137410044 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4284397
@@ Property / cites work: Q4284397 / rank @@
+Normal rank
@@ Property / cites work @@
+The Logics Containing S 4.3
@@ Property / cites work: The Logics Containing S 4.3 / rank @@
+Normal rank
@@ Property / cites work @@
+That All Normal Extensions of S4.3 Have the Finite Model Property
+Normal rank
@@ Property / cites work @@
+Decidability and the finite model property
@@ Property / cites work: Decidability and the finite model property / rank @@
+Normal rank
@@ Property / cites work @@
+Investigations in modal and tense logics with applications to problems in philosophy and linguistics
+Normal rank
@@ Property / cites work @@
+An incomplete logic containing S4
@@ Property / cites work: An incomplete logic containing S4 / rank @@
+Normal rank
@@ Property / cites work @@
+An ascending chain of S4 logics
@@ Property / cites work: An ascending chain of S4 logics / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3691638