Canonical formulas for K4. Part II: Cofinal subframe logics (Q4894720): Difference between revisions

@@ 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