Browsing Artículos by Author "Penazzi, Daniel Eduardo"
Now showing items 1-1 of 1
-
The lattice of congruences of a finite line frame
Areces, Carlos Eduardo; Campercholi, Miguel Alejandro Carlos; Penazzi, Daniel Eduardo; Sánchez Terraf, Pedro Octavio (2017)Let F = <F, R> be a finite Kripke frame. A congruence of F is a bisimulation of F that is also an equivalence relation on F. The set of all congruences of F is a lattice under the inclusion ordering. In this article we ...