Canonical formulas for K4. Part III: the finite model property (Q4372915): Difference between revisions

@@ Property / cites work @@
+Canonical formulas for <i>K</i>4. Part I: Basic results
+Normal rank
@@ Property / cites work @@
+A Sufficient Condition for the Finite Model Property of Modal Logics above K4
+Normal rank
@@ Property / cites work @@
+A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
+Normal rank
@@ Property / cites work @@
+An effective representation for finitely generated free interior algebras
+Normal rank
@@ Property / cites work @@
+Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable
+Normal rank
@@ Property / cites work @@
+A new proof of Sahlqvist's theorem on modal definability and completeness
+Normal rank
@@ Property / cites work @@
+A modal analog for Glivenko's theorem and its applications
+Normal rank
@@ Property / cites work @@
+Some results on the intermediate logics
@@ Property / cites work: Some results on the intermediate logics / rank @@
+Normal rank
@@ Property / cites work @@
+On maximal intermediate logics with the disjunction property
+Normal rank
@@ Property / cites work @@
+Canonical formulas for K4. Part II: Cofinal subframe logics
+Normal rank