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…