DOI10.1145/3549075MaRDI QIDQ5875942
Md. Aquil Khan, Mohua Banerjee, Sibsankar Panda
Publication date: 7 February 2023 Published in: ACM Transactions on Computational Logic (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1145/3549075
zbMATH Keywords
modal logic; temporal logic; rough set theory; axiomatization; approximation operator
Mathematics Subject Classification ID
03B70: Logic in computer science
68-XX: Computer science