An algebraic approach to subframe logics. Modal case

DOI10.1215/00294527-1306190zbMath1246.03041OpenAlexW2008144954MaRDI QIDQ540406

Silvio Ghilardi, Mamuka Jibladze, Guram Bezhanishvili

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 logicfinite model propertysubframe logicmodal logic of topological derivativeweak transitive frame

Mathematics Subject Classification ID

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

Related Items (12)

Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ Algebraic semantics and model completeness for intuitionistic public announcement logic ⋮ Fixed point logics and definable topological properties ⋮ Modal logic of generalized separated topological spaces ⋮ Fixed point logics and definable topological properties ⋮ Finite model property in weakly transitive tense logics ⋮ An algebraic approach to canonical formulas: modal case ⋮ CANONICAL FORMULAS FOR wK4 ⋮ More on \(d\)-logics of subspaces of the rational numbers ⋮ STABLE CANONICAL RULES ⋮ The power of a propositional constant ⋮ Easkia Duality and Its Extensions

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