Continuity, freeness, and filtrations

DOI10.3166/jancl.20.193-217zbMath1242.03049OpenAlexW1987887112MaRDI QIDQ2901195

Silvio Ghilardi

Publication date: 17 July 2012

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.20.193-217

zbMATH Keywords

modal logicfiltrationsfree algebras

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Abstract deductive systems (03B22)

Related Items (7)

Admissible bases via stable canonical rules ⋮ Categories for Dynamic Epistemic Logic ⋮ Unnamed Item ⋮ STABLE CANONICAL RULES ⋮ STABLE MODAL LOGICS ⋮ The bounded proof property via step algebras and step frames ⋮ Canonical Extensions, Esakia Spaces, and Universal Models

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An algebraic theory of normal forms
• An algebraic approach to subframe logics. Intuitionistic case
• Topo-canonical completions of closure algebras and Heyting algebras
• The algebra of topology
• Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
• Modal logics withn-ary connectives
• Logics containing K4. Part II
• Some theorems about the sentential calculi of Lewis and Heyting

This page was built for publication: Continuity, freeness, and filtrations