Logics for Temporal Information Systems in Rough Set Theory. - Md. Aquil Khan; Mohua Banerjee; Sibsankar Panda (ACM Trans. Comput. Log., 2023)