CANONICAL FORMULAS FOR wK4

DOI10.1017/S1755020312000251zbMath1314.03020OpenAlexW2006610124MaRDI QIDQ4899969

Nick Bezhanishvili, Guram Bezhanishvili

Publication date: 10 January 2013

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020312000251

zbMATH Keywords

modal logiccorrespondence theoryduality theory.

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) General logic (03B99)

Related Items

Canonical formulas for \(k\)-potent commutative, integral, residuated lattices ⋮ Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ Stable formulas in intuitionistic logic ⋮ STABLE CANONICAL RULES ⋮ STABLE MODAL LOGICS

Cites Work

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