Stable modal logics

DOI10.1017/S1755020317000375MaRDI QIDQ4961739zbMATH OpenOpenAlexFDO

Authors Guram Bezhanishvili, Nick 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

zbMATH Keywords

axiomatizationcanonical formulacanonical rulefinite model propertyintuitionistic logicmodal consequence relationmodal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)

Recommendations

• Stable canonical rules
• A Sufficient Condition for the Finite Model Property of Modal Logics above K4
• scientific article; zbMATH DE number 2099412
• Cofinal stable logics
• scientific article; zbMATH DE number 2079050

Cites work

• A dual characterization of subdirectly irreducible BAOs
• A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology
• Admissibility of logical inference rules
• Algebraic semantics for modal logics I
• An algebraic look at filtrations in modal logic
• Canonical formulas \(\mathbf{wK4}\)
• Canonical formulas for K4. Part I: Basic results
• Canonical formulas for K4. Part II: Cofinal subframe logics
• Canonical rules
• Cofinal stable logics
• Continuity, freeness, and filtrations
• Every world can see a reflexive world
• Handbook of modal logic
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 1163394 (Why is no real title available?)
• scientific article; zbMATH DE number 6863852 (Why is no real title available?)
• scientific article; zbMATH DE number 1852920 (Why is no real title available?)
• Locally finite reducts of Heyting algebras and canonical formulas
• Logics containing K4. Part II
• Modal logic
• Model theory.
• Residuated lattices. An algebraic glimpse at substructural logics
• Splitting lattices of logics
• Stable canonical rules
• Subdirectly irreducible modal algebras and initial frames
• That All Normal Extensions of S4.3 Have the Finite Model Property
• The algebra of topology
• The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
• The Logics Containing S 4.3
• Tools and techniques in modal logic
• Topo-canonical completions of closure algebras and Heyting algebras

Cited in

(14)

• Stabilizing mobile philosophers
• Complexity of the universal theory of modal algebras
• Intermediate logics admitting a structural hypersequent calculus
• Capturing equilibrium models in modal logic
• scientific article; zbMATH DE number 408799 (Why is no real title available?)
• Stable inference as intuitionistic validity
• Stability and General Logics
• Stable reasoning
• scientific article; zbMATH DE number 7577568 (Why is no real title available?)
• Cofinal stable logics
• Jankov Formulas and Axiomatization Techniques for Intermediate Logics
• Blok-Esakia theorems via stable canonical rules
• Modern faces of filtration
• Stable canonical rules and formulas for pre-transitive logics via definable filtration

This page was built for publication: Stable modal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4961739)