An algebraic approach to subframe logics. Modal case
From MaRDI portal
Publication:540406
DOI10.1215/00294527-1306190zbMath1246.03041MaRDI 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
modal logic; finite model property; subframe logic; modal logic of topological derivative; weak transitive frame
Related Items
CANONICAL FORMULAS FOR wK4, Easkia Duality and Its Extensions, Jankov Formulas and Axiomatization Techniques for Intermediate Logics, Fixed point logics and definable topological properties, Modal logic of generalized separated topological spaces, Fixed point logics and definable topological properties, Algebraic semantics and model completeness for intuitionistic public announcement logic, An algebraic approach to canonical formulas: modal case, The power of a propositional constant, More on \(d\)-logics of subspaces of the rational numbers, Finite model property in weakly transitive tense logics, STABLE CANONICAL RULES