3 papers
math.LO2025
An essentially algebraic glance to Kripke semantics: the S5 case
Matteo De Berardinis, Silvio Ghilardi
We show that the category of finite -algebras (dual to finite reflexive, symmetric and transitive Kripke frames) classifies the essentially algebraic theory whose mode…
math.LO2025
A Proof Theory for Profinite Modal Algebras
Matteo De Berardinis, Silvio Ghilardi
In a previous paper, we showed that profinite -algebras (where is a variety of modal algebras generated by its finite members) are monadic over . This monadici…
math.LO2023
Profiniteness, Monadicity and Universal Models in Modal Logic
Matteo De Berardinis, Silvio Ghilardi
Taking inspiration from the monadicity of complete atomic Boolean algebras, we prove that profinite modal algebras are monadic over Set. While analyzing the monadic functor, we rec…