Showing math.LOShow all
3 papers · 1 filter
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.LO2025
Finite coproducts, coregularity and coexactness for profinite interior algebras
Matteo De Berardinis
In previous articles, we showed that the category of profinite -algebras (where is a normal modal logic with the finite model property) is monadic over . Then,…
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…