STABLE MODAL LOGICS
From MaRDI portal
Publication:4961739
DOI10.1017/S1755020317000375OpenAlexW2892910525MaRDI QIDQ4961739
Nick Bezhanishvili, Guram Bezhanishvili, Julia Ilin
Publication date: 25 October 2018
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s1755020317000375
modal logicfinite model propertyintuitionistic logicaxiomatizationcanonical formulamodal consequence relationcanonical rule
Related Items
Jankov Formulas and Axiomatization Techniques for Intermediate Logics, Intermediate logics admitting a structural hypersequent calculus, Unnamed Item, Complexity of the universal theory of modal algebras
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Locally finite reducts of Heyting algebras and canonical formulas
- Cofinal stable logics
- Residuated lattices. An algebraic glimpse at substructural logics
- Model theory.
- Subdirectly irreducible modal algebras and initial frames
- Tools and techniques in modal logic
- Admissibility of logical inference rules
- The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
- A dual characterization of subdirectly irreducible BAOs
- Topo-canonical completions of closure algebras and Heyting algebras
- Every world can see a reflexive world
- The algebra of topology
- STABLE CANONICAL RULES
- Continuity, freeness, and filtrations
- Canonical rules
- Logics containing K4. Part II
- Splitting lattices of logics
- Canonical formulas for K4. Part I: Basic results
- Canonical formulas for K4. Part II: Cofinal subframe logics
- CANONICAL FORMULAS FOR wK4
- An algebraic look at filtrations in modal logic
- Algebraic semantics for modal logics I
- That All Normal Extensions of S4.3 Have the Finite Model Property
- The Logics Containing S 4.3
- A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology