Canonical formulas for K4. Part I: Basic results (Q4032666): Difference between revisions

@@ Property / author @@
+Michael Zakharyashchev
@@ Property / author: Michael Zakharyashchev / rank @@
+Normal rank
@@ 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/2275372
@@ Property / full work available at URL: https://doi.org/10.2307/2275372 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2095148612
@@ Property / OpenAlex ID: W2095148612 / rank @@
+Normal rank
@@ Property / cites work @@
+Four dialogue systems
@@ Property / cites work: Four dialogue systems / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Logics Between S 4 and S 5
@@ Property / cites work: Modal Logics Between S 4 and S 5 / rank @@
+Normal rank
@@ Property / cites work @@
+The decidability of certain intermediate propositional logics
+Normal rank
@@ Property / cites work @@
+Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
+Normal rank
@@ Property / cites work @@
+Logics containing <i>K</i>4. Part II
@@ Property / cites work: Logics containing <i>K</i>4. Part II / rank @@
+Normal rank

Canonical formulas for <i>K</i>4. Part I: Basic results (Q4032666): Difference between revisions