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, 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, STABLE CANONICAL RULES