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