STABLE CANONICAL RULES
From MaRDI portal
Publication:2805038
DOI10.1017/jsl.2015.54zbMath1345.03034OpenAlexW2529311106MaRDI QIDQ2805038
Guram Bezhanishvili, Nick Bezhanishvili, Rosalie Iemhoff
Publication date: 9 May 2016
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/11245.1/4e39d0ae-9750-49f4-9419-179f742a5a9c
modal logicfiltrationvarietyaxiomatizationmodal algebrauniversal classmulti-conclusion consequence relation
Related Items
Canonical formulas for \(k\)-potent commutative, integral, residuated lattices, Jankov Formulas and Axiomatization Techniques for Intermediate Logics, Admissible bases via stable canonical rules, A variety of algebras closely related to subordination algebras, Intermediate logics admitting a structural hypersequent calculus, Subordinations on bounded distributive lattices, Complexity of the universal theory of residuated ordered groupoids, Cofinal stable logics, Irreducible equivalence relations, Gleason spaces, and de Vries duality, Unnamed Item, Stable formulas in intuitionistic logic, Computational complexity for bounded distributive lattices with negation, Unnamed Item, STABLE MODAL LOGICS, Complexity of the universal theory of modal algebras
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An algebraic approach to subframe logics. Modal case
- An algebraic approach to canonical formulas: modal case
- Frame based formulas for intermediate logics
- Subdirectly irreducible modal algebras and initial frames
- Tools and techniques in modal logic
- Admissibility of logical inference rules
- A dual characterization of subdirectly irreducible BAOs
- Topo-canonical completions of closure algebras and Heyting algebras
- The algebra of topology
- Continuity, freeness, and filtrations
- Splitting lattices of logics
- Using the Universal Modality: Gains and Questions
- « Everywhere » and « here »
- CANONICAL FORMULAS FOR wK4
- An algebraic look at filtrations in modal logic