CANONICAL FORMULAS FOR wK4 (Q4899969): Difference between revisions

@@ Property / cites work @@
+All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable
+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 @@
+Logics containing <i>K</i>4. Part II
@@ Property / cites work: Logics containing <i>K</i>4. Part II / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logic and invariance
@@ Property / cites work: Modal logic and invariance / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to subframe logics. Modal case
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to subframe logics. Intuitionistic case
+Normal rank
@@ Property / cites work @@
+That All Normal Extensions of S4.3 Have the Finite Model Property
+Normal rank
@@ Property / cites work @@
+Logic, language, and computation. 8th international Tbilisi symposium on logic, language, and computation, TbiLLC 2009, Bakuriani, Georgia, September 21--25, 2009. Revised selected papers
+Normal rank
@@ Property / cites work @@
+The lattice of modal logics: an algebraic investigation
+Normal rank
@@ Property / cites work @@
+An algebraic approach to canonical formulas: modal case
+Normal rank
@@ Property / cites work @@
+AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
+Normal rank
@@ Property / cites work @@
+Frame based formulas for intermediate logics
@@ Property / cites work: Frame based formulas for intermediate logics / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical formulas for K4. Part II: Cofinal subframe logics
+Normal rank
@@ Property / cites work @@
+Canonical formulas for <i>K</i>4. Part I: Basic results
+Normal rank
@@ Property / cites work @@
+Syntax and semantics of superintuitionistic logics
+Normal rank
@@ Property / cites work @@
+The structure of lattices of subframe logics
@@ Property / cites work: The structure of lattices of subframe logics / rank @@
+Normal rank
@@ Property / cites work @@
+Extensions of the Lewis system S5
@@ Property / cites work: Extensions of the Lewis system S5 / rank @@
+Normal rank
@@ Property / cites work @@
+Splitting lattices of logics
@@ Property / cites work: Splitting lattices of logics / rank @@
+Normal rank
@@ Property / cites work @@
+Splittings and the finite model property
@@ Property / cites work: Splittings and the finite model property / rank @@
+Normal rank
@@ Property / cites work @@
+Prefinitely axiomatizable modal and intermediate logics
+Normal rank

CANONICAL FORMULAS FOR <b>wK4</b> (Q4899969): Difference between revisions

Revision as of 01:33, 6 July 2024

Statements

Identifiers

Sitelinks

Mathematics(1 entry)