Logics for Temporal Information Systems in Rough Set Theory
Md. Aquil Khan, Mohua Banerjee, Sibsankar Panda · ACM Transactions on Computational Logic · 2022
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 TISs. The corresponding logics with sound and complete axiomatization are presented.