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)

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

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)