CANONICAL FORMULAS FOR wK4
From MaRDI portal
Publication:4899969
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
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
