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

← Older edit

@@ 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
@@ Property / Recommended article @@
+Logics containing <i>K</i>4. Part II
@@ Property / Recommended article: Logics containing <i>K</i>4. Part II / rank @@
+Normal rank
+Similarity Score: 0.86241066Amount 0.86241066
Unit 1
-Amount
+.86241066
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property
+Normal rank
+Similarity Score: 0.80638176Amount 0.80638176
Unit 1
-Amount
+.80638176
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Canonical formulas for <i>K</i>4. Part I: Basic results
+Normal rank
+Similarity Score: 0.7914958Amount 0.7914958
Unit 1
-Amount
+.7914958
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Completeness and decidability of tense logics closely related to logics above K4
+Normal rank
+Similarity Score: 0.77759624Amount 0.77759624
Unit 1
-Amount
+.77759624
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+An algebraic approach to subframe logics. Modal case
+Normal rank
+Similarity Score: 0.7773115Amount 0.7773115
Unit 1
-Amount
+.7773115
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+The structure of lattices of subframe logics
+Normal rank
+Similarity Score: 0.77615327Amount 0.77615327
Unit 1
-Amount
+.77615327
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+CANONICAL FORMULAS FOR <b>wK4</b>
@@ Property / Recommended article: CANONICAL FORMULAS FOR <b>wK4</b> / rank @@
+Normal rank
@@ Property / Recommended article: CANONICAL FORMULAS FOR <b>wK4</b> / qualifier @@
+Similarity Score: 0.77163243Amount 0.77163243
Unit 1
-Amount
+.77163243
 Unit
@@ Property / Recommended article: CANONICAL FORMULAS FOR <b>wK4</b> / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable
+Normal rank
+Similarity Score: 0.7699876Amount 0.7699876
Unit 1
-Amount
+.7699876
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Notes on modal definability
@@ Property / Recommended article: Notes on modal definability / rank @@
+Normal rank
@@ Property / Recommended article: Notes on modal definability / qualifier @@
+Similarity Score: 0.7687974Amount 0.7687974
Unit 1
-Amount
+.7687974
 Unit
@@ Property / Recommended article: Notes on modal definability / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+All finitely axiomatizable subframe logics containing the provability logic CSM\(_0\) are decidable
+Normal rank
+Similarity Score: 0.7656076Amount 0.7656076
Unit 1
-Amount
+.7656076
 Unit
+Recommender Run: Recommender Run 2