Logics for Temporal Information Systems in Rough Set Theory

The article discusses temporal information systems (TISs) that add the dimension of time to complete or incomplete information systems. Through TISs, one can accommodate the possibility of domains or attribute-values for objects changing with time or the availability of currently missing information with time. Different patterns of flow of information give different temporal information systems. The corresponding logics with sound and complete axiomatization are presented.