The lattice of congruences of a finite line frame

DOI10.1093/logcom/exx026zbMath1444.03179arXiv1504.01789OpenAlexW2964232903MaRDI QIDQ4555460

Carlos Areces, Daniel Penazzi, Pedro Sánchez Terraf, Miguel A. Campercholi

Publication date: 20 November 2018

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1504.01789

zbMATH Keywords

modal algebraalgebraic functionbisimulation equivalencelattice of subalgebraspermuting relations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Subalgebras, congruence relations (08A30)

This page was built for publication: The lattice of congruences of a finite line frame