2 papers
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.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…