Matteo De Berardinis

collaborators

4 papers

math.LO2026

Coequivalence Relations and Descent in Modal Logic

Rodrigo Nicolau Almeida, Matteo De Berardinis

A coequivalence relation over a modal logic L is a formula in two tuples of propositional variables of the same length such that the logic L proves it to be an equivalence relation…

math.LO2026

Finite coproducts, coregularity and coexactness for profinite interior algebras

Matteo De Berardinis

In previous articles, we showed that the category of profinite $L$ -algebras (where $L$ is a normal modal logic with the finite model property) is monadic over $Set$ . Then,…

math.LO2025

A Proof Theory for Profinite Modal Algebras

Matteo De Berardinis, Silvio Ghilardi

In a previous paper, we showed that profinite $L$ -algebras (where $L$ is a variety of modal algebras generated by its finite members) are monadic over $Set$ . 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 $S5$ -algebras (dual to finite reflexive, symmetric and transitive Kripke frames) classifies the essentially algebraic theory whose mode…