Continuity, freeness, and filtrations
Silvio Ghilardi · Journal of Applied Non-Classical Logics · 2010
The role played by continuous morphisms in propositional modal logic is investigated: it turns out that they are strictly related to filtrations and to suitable variants of the notion of a free algebra. We also employ continuous morphisms in incremental constructions of (standard) finitely generated free 𝕊4-algebras.