The Lattice of Congruences of a Finite Line Frame

Carlos Areces, Miguel Campercholi, Daniel Penazzi +1

Let $\mathbf{F}=⟨F,R⟩$ be a finite Kripke frame. A congruence of $\mathbf{F}$ is a bisimulation of $\mathbf{F}$ that is also an equivalence relation on F.…