ICC 25427
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
Unidad Ejecutora - UE
congresos y reuniones científicas
Título:
Epistemic logic of sequences of partitions
Autor/es:
BRUNELLA GERLA; STEFANIA BOFFA; RICARDO O. RODRIGUEZ
Lugar:
Udine
Reunión:
Congreso; Logic Colloquium 2018; 2018
Institución organizadora:
Università degli Studi di Udine
Resumen:
In former papers we gave a representation of algebraic structures related with many-valued logics such as Kleene algebras and IUML-algebras as sequences of rough sets, i.e., increasingly accurate approximations of sets. In order to do that, we started from sequences of partitions of a given universe, in such a way that each partition renes the partition before it. Further, we allow the case that in the renement sequence some of the elements of the starting universe can get lost.
