An algebraic approach to canonical formulas: modal case
From MaRDI portal
Publication:647410
DOI10.1007/S11225-011-9348-9zbMATH Open1250.03124OpenAlexW2007326500MaRDI QIDQ647410FDOQ647410
Authors: Guram Bezhanishvili, Nick Bezhanishvili 
Publication date: 23 November 2011
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-011-9348-9
Recommendations
Cites Work
- Canonical formulas for K4. Part I: Basic results
- Canonical formulas for K4. Part II: Cofinal subframe logics
- Tools and techniques in modal logic
- Title not available (Why is that?)
- Logics containing K4. Part II
- Title not available (Why is that?)
- An algebraic approach to subframe logics. Intuitionistic case
- AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
- Title not available (Why is that?)
- An algebraic approach to subframe logics. Modal case
- Splitting lattices of logics
- Title not available (Why is that?)
- An ascending chain of S4 logics
Cited In (13)
- Maps and monads for modal frames
- Canonical formulas for \(k\)-potent commutative, integral, residuated lattices
- CANONICAL FORMULAS FOR wK4
- Modal logic and algebraic specifications
- On the Blok-Esakia Theorem
- AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics
- Stable formulas in intuitionistic logic
- A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers
- AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS
- Stable canonical rules
- Title not available (Why is that?)
- Title not available (Why is that?)
This page was built for publication: An algebraic approach to canonical formulas: modal case
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q647410)
