An algebraic approach to subframe logics. Modal case

DOI10.1215/00294527-1306190MaRDI QIDQ540406zbMATH OpenOpenAlexFDO

Authors Guram Bezhanishvili, Silvio Ghilardi, M. Jibladze

Publication date 3 June 2011

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1215/00294527-1306190

zbMATH Keywords

modal logicsubframe logicfinite model propertymodal logic of topological derivativeweak transitive frame

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25)

Recommendations

• An algebraic approach to subframe logics. Intuitionistic case
• A substructural approach to explicit modal logic
• A uniform framework for substructural logics with modalities
• scientific article; zbMATH DE number 823607
• scientific article; zbMATH DE number 6917935
• Modal logic and algebraic specifications
• scientific article; zbMATH DE number 7204444
• scientific article; zbMATH DE number 7439733
• Publication:3474636
• An algebraic approach to the disjunction property of substructural logics

Cited in

(17)

• Canonical formulas \(\mathbf{wK4}\)
• An algebraic approach to canonical formulas: modal case
• Modal logic of generalized separated topological spaces
• Algebraic semantics and model completeness for intuitionistic public announcement logic
• Jankov Formulas and Axiomatization Techniques for Intermediate Logics
• Fixed point logics and definable topological properties
• scientific article; zbMATH DE number 2024612 (Why is no real title available?)
• Logics containing K4. Part II
• More on \(d\)-logics of subspaces of the rational numbers
• Jankov-style formulas and refutation systems
• A uniform framework for substructural logics with modalities
• The power of a propositional constant
• Fixed point logics and definable topological properties
• Finite model property in weakly transitive tense logics
• Canonical formulas for K4. Part II: Cofinal subframe logics
• Esakia duality and its extensions
• Stable canonical rules

This page was built for publication: An algebraic approach to subframe logics. Modal case

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