ICC   25427
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
Unidad Ejecutora - UE
congresos y reuniones científicas
Título:
Modal logic and Sequences of orthopairs
Autor/es:
RICARDO O. RODRIGUEZ; BRUNELLA GERLA; STEFANIA BOFFA
Reunión:
Workshop; ManyVal2017; 2017
Institución organizadora:
CNRS-IRIT, Toulouse, Francia.
Resumen:
Given an universe U and an equivalence relation R on U, any subset of U determinesa rough set, that is a pair formed by the set of elements of U belongingto equivalence classes included in X and the set of elements of U belonging toequivalence classes that overlaps with X. Rough sets theory is connected withmodal logic S5 of equivalence relations [?]. The stronger relationship betweenS5 and rough sets is that, given a model (U; R; v) for S5, the pair (U; R) isa Pawlack approximation space. Moreover, if ´ is a formula in S5 language,(v(´); v(}´)) is the rough set of v(´) respect with R [?].