Interactive logical properties in multimodal semantics for data analysis based on attribute values and time

Rough set models with equivalence relations which may change along time are defined and discussed by introducing an information system with time. Interactive logical properties and time-independent approximations are defined and are shown to generate a logical classification of a universe comprising of five categories of a universe.