Canonical formulas for K4. Part II: Cofinal subframe logics (Q4894720): 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/2275669
@@ Property / full work available at URL: https://doi.org/10.2307/2275669 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2144359719
@@ Property / OpenAlex ID: W2144359719 / rank @@
+Normal rank
@@ Property / cites work @@
+Syntax and semantics of superintuitionistic logics
+Normal rank
@@ Property / cites work @@
+Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas
+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 @@
+An undecidable problem in correspondence theory
@@ Property / cites work: An undecidable problem in correspondence theory / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of the disjunction property of propositional logics and other related problems
+Normal rank
@@ Property / cites work @@
+On the Independent Axiomatizability of Modal and Intermediate Logics
+Normal rank
@@ Property / cites work @@
+That All Normal Extensions of S4.3 Have the Finite Model Property
+Normal rank
@@ Property / cites work @@
+On the size of refutation Kripke models for some linear modal and tense logics
+Normal rank
@@ Property / cites work @@
+The decidability of certain intermediate propositional logics
+Normal rank
@@ Property / cites work @@
+Pretabular extensions of Lewis S4
@@ Property / cites work: Pretabular extensions of Lewis S4 / rank @@
+Normal rank