An algebraic approach to subframe logics. Modal case

DOI10.1215/00294527-1306190zbMATH Open1246.03041OpenAlexW2008144954MaRDI QIDQ540406FDOQ540406

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

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

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)

Cited In (17)

• Algebraic semantics and model completeness for intuitionistic public announcement logic
• Logics containing K4. Part II
• Fixed point logics and definable topological properties
• The power of a propositional constant
• Title not available (Why is that?)
• 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
• Canonical formulas for K4. Part II: Cofinal subframe logics

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)