{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,24]],"date-time":"2025-11-24T12:45:33Z","timestamp":1763988333522,"version":"3.41.0"},"reference-count":41,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2023,1,20]],"date-time":"2023-01-20T00:00:00Z","timestamp":1674172800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Comput. Logic"],"published-print":{"date-parts":[[2023,1,31]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.1145\/3549075","type":"journal-article","created":{"date-parts":[[2022,7,19]],"date-time":"2022-07-19T12:12:16Z","timestamp":1658232736000},"page":"1-29","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Logics for Temporal Information Systems in Rough Set Theory"],"prefix":"10.1145","volume":"24","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9235-8613","authenticated-orcid":false,"given":"Md. Aquil","family":"Khan","sequence":"first","affiliation":[{"name":"Indian Institute of Technology Indore, Indore, Madhya Pradesh, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7517-0923","authenticated-orcid":false,"given":"Mohua","family":"Banerjee","sequence":"additional","affiliation":[{"name":"Indian Institute of Technology Kanpur, Kanpur, Uttar Pradesh, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5964-2265","authenticated-orcid":false,"given":"Sibsankar","family":"Panda","sequence":"additional","affiliation":[{"name":"Indian Institute of Technology Indore, Indore, Madhya Pradesh, India"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,1,20]]},"reference":[{"key":"e_1_3_1_2_2","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1080\/11663081.1999.10510969","article-title":"A hierarchy of modal logics with relative accessibility relations","volume":"9","author":"Balbiani P.","year":"1999","unstructured":"P. Balbiani and E. Or\u0142owska. 1999. A hierarchy of modal logics with relative accessibility relations. Journal of Applied Non-Classical Logics 9(2\u20133) (1999), 303\u2013328.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"e_1_3_1_3_2","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/978-81-322-2301-6_6","volume-title":"International Conference on Facets of Uncertainties and Applications (ICFUA\u201913), Kolkata, India","author":"Banerjee M.","year":"2015","unstructured":"M. Banerjee, S. Ju, M. A. Khan, and L. Tang. 2015. Open world models: A view from rough set theory. In International Conference on Facets of Uncertainties and Applications (ICFUA\u201913), Kolkata, India, M. K. Chakraborty, A. Skowron, M. Maiti, and S. Kar (Eds.). Springer-Verlag, 77\u201386."},{"key":"e_1_3_1_4_2","first-page":"1","article-title":"Propositional logics from rough set theory","volume":"4374","author":"Banerjee M.","year":"2007","unstructured":"M. Banerjee and M. A. Khan. 2007. Propositional logics from rough set theory. Transactions on Rough Sets VI, LNCS 4374 (2007), 1\u201325.","journal-title":"Transactions on Rough Sets"},{"key":"e_1_3_1_5_2","first-page":"1","volume-title":"Studies in Logic, Vol. 15, Proc. Logic, Navya-Ny\u0101ya and Applications: Homage to Bimal Krishna Matilal, January 2007, Kolkata, India","author":"Banerjee M.","year":"2008","unstructured":"M. Banerjee and M. A. Khan. 2008. Rough set theory: A temporal logic view. In Studies in Logic, Vol. 15, Proc. Logic, Navya-Ny\u0101ya and Applications: Homage to Bimal Krishna Matilal, January 2007, Kolkata, India, M. K. Chakraborty, B. L\u00f6we, M. N. Mitra, and S. Sarukkai (Eds.). College Publications, London, 1\u201320."},{"key":"e_1_3_1_6_2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1023\/A:1015057926707","article-title":"Combinations of modal logics","volume":"17","author":"Bennett B.","year":"2002","unstructured":"B. Bennett, C. Dixon, M. Fisher, U. Hustadt, E. Franconi, and M. de Rijke. 2002. Combinations of modal logics. Artificial Intelligence Review 17(1) (2002), 1\u201320.","journal-title":"Artificial Intelligence Review"},{"key":"e_1_3_1_7_2","doi-asserted-by":"publisher","DOI":"10.5555\/381193"},{"key":"e_1_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2006.12.001"},{"key":"e_1_3_1_9_2","first-page":"16","article-title":"Relational attribute systems II: Reasoning with relations in information structures","volume":"4400","author":"D\u00fcntsch I.","year":"2007","unstructured":"I. D\u00fcntsch, G. Gediga, and E. Or\u0142owska. 2007. Relational attribute systems II: Reasoning with relations in information structures. Transactions on Rough Sets VII, LNCS 4400 (2007), 16\u201335.","journal-title":"Transactions on Rough Sets"},{"key":"e_1_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.5555\/560122"},{"key":"e_1_3_1_11_2","first-page":"62","volume-title":"Proceedings of the 10th International Symposium on Temporal Representation and Reasoning and the 4th International Conference on Temporal Logic (TIME-ICTL\u201903)","author":"Dixon C.","year":"2003","unstructured":"C. Dixon and M. Fisher. 2003. Tableaux for temporal logics of knowledge: Synchronous systems of perfect recall or no learning. In Proceedings of the 10th International Symposium on Temporal Representation and Reasoning and the 4th International Conference on Temporal Logic (TIME-ICTL\u201903). IEEE, 62\u201371."},{"key":"e_1_3_1_12_2","first-page":"626","volume-title":"Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development (COMPSAC\u201901)","author":"Fan T. F.","year":"2001","unstructured":"T. F. Fan, W. C. Hu, and C. J. Liau. 2001. Decision logics for knowledge representation in data mining. In Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development (COMPSAC\u201901). IEEE, Washington, DC, 626."},{"key":"e_1_3_1_13_2","series-title":"Proceedings of the 10th International Conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing (RSFDGrC\u201905),","first-page":"651","volume":"3641","author":"Fan T. F.","year":"2005","unstructured":"T. F. Fan, D. R. Liu, and G. H. Tzeng. 2005. Arrow decision logic. In Proceedings of the 10th International Conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing (RSFDGrC\u201905),LNAI, D. \u015al\u0229zak, G. Wang, M. Szczuka, I. D\u00fcntsch, and Y. Yao (Eds.), Vol. 3641. Springer Verlag, 651\u2013659."},{"key":"e_1_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00156915"},{"key":"e_1_3_1_15_2","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1093\/jigpal\/6.1.73","article-title":"Product of modal logics, Part 1","volume":"6","author":"Gabbay D. M.","year":"1998","unstructured":"D. M. Gabbay and V. B. Shehtman. 1998. Product of modal logics, Part 1. Logic J. of the IGPL 6(1) (1998), 73\u2013146.","journal-title":"Logic J. of the IGPL"},{"key":"e_1_3_1_16_2","doi-asserted-by":"crossref","first-page":"674","DOI":"10.1137\/S0097539797320906","article-title":"Complete axiomatizations for reasoning about knowledge and time","volume":"33","author":"Halpern J. Y.","year":"2004","unstructured":"J. Y. Halpern, R. van der Meyden, and M. Y. Vardi. 2004. Complete axiomatizations for reasoning about knowledge and time. SIAM J. Comput. 33(3) (2004), 674\u2013703.","journal-title":"SIAM J. Comput."},{"key":"e_1_3_1_17_2","first-page":"596","volume-title":"Logic and Cognition: The Progress in Logical Study in China","author":"Ju S.","year":"2003","unstructured":"S. Ju and H. Liu. 2003. The logical structure of open sets. In Logic and Cognition: The Progress in Logical Study in China, S. Ju (Ed.). Social Sciences in China Press, Beijing, 596\u2013603."},{"key":"e_1_3_1_18_2","series-title":"6th Indian Conference on Logic and its Applications, India (ICLA\u201915),","first-page":"119","volume":"8923","author":"Khan M. A.","year":"2015","unstructured":"M. A. Khan. 2015. A modal logic for non-deterministic information systems. In 6th Indian Conference on Logic and its Applications, India (ICLA\u201915),LNCS, M. Banerjee and Shankara Narayanan Krishna (Eds.), Vol. 8923. Springer-Verlag, 119\u2013131."},{"key":"e_1_3_1_19_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2017.04.029"},{"key":"e_1_3_1_20_2","series-title":"The 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU\u201909), Verona, Italy,","first-page":"829","volume":"5590","author":"Khan M. A.","year":"2009","unstructured":"M. A. Khan and M. Banerjee. 2009. A logic for complete information systems. In The 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU\u201909), Verona, Italy,LNAI, C. Sossai and G. Chemello (Eds.), Vol. 5590. Springer-Verlag, 829\u2013840."},{"key":"e_1_3_1_21_2","doi-asserted-by":"publisher","DOI":"10.1145\/1970398.1970405"},{"key":"e_1_3_1_22_2","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exu055"},{"key":"e_1_3_1_23_2","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exu056"},{"key":"e_1_3_1_24_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2013.07.007"},{"key":"e_1_3_1_25_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2020.03.017"},{"key":"e_1_3_1_26_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0255(98)10019-1"},{"key":"e_1_3_1_27_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0255(98)10065-8"},{"key":"e_1_3_1_28_2","first-page":"207","volume-title":"Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning About Knowledge","author":"Ladner R.","year":"1986","unstructured":"R. Ladner and J. Reif. 1986. The logic of distributed protocols. In Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning About Knowledge, J. Y. Halpern (Ed.). Morgan Kaufmann Publishers Inc., San Francisco, CA, 207\u2013222."},{"key":"e_1_3_1_29_2","doi-asserted-by":"publisher","DOI":"10.1145\/800222.806736"},{"key":"e_1_3_1_30_2","doi-asserted-by":"publisher","DOI":"10.3233\/FI-1982-5106"},{"key":"e_1_3_1_31_2","series-title":"Proceedings of the Symposium on Computation Theory, Zabr \\(\\acute{\\mbox{o}}\\) w, 1984,","first-page":"177","volume":"208","author":"Or\u0142owska E.","year":"1985","unstructured":"E. Or\u0142owska. 1985. Logic of indiscernibility relations. In Proceedings of the Symposium on Computation Theory, Zabr \\(\\acute{\\mbox{o}}\\) w, 1984,LNCS, G. Goos and J. Hartmanis (Eds.), Vol. 208. Springer Verlag, 177\u2013186."},{"key":"e_1_3_1_32_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370813"},{"key":"e_1_3_1_33_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(84)90010-0"},{"key":"e_1_3_1_34_2","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/BF01001956","article-title":"Rough sets","volume":"11","author":"Pawlak Z.","year":"1982","unstructured":"Z. Pawlak. 1982. Rough sets. International Journal of Computer and Information Science 11(5) (1982), 341\u2013356.","journal-title":"International Journal of Computer and Information Science"},{"issue":"5","key":"e_1_3_1_35_2","first-page":"253","article-title":"Rough logic","volume":"35","author":"Pawlak Z.","year":"1987","unstructured":"Z. Pawlak. 1987. Rough logic. Bull. Polish Acad. Sc. (Tech. Sc.) 35, 5\u20136 (1987), 253\u2013258.","journal-title":"Bull. Polish Acad. Sc. (Tech. Sc.)"},{"key":"e_1_3_1_36_2","volume-title":"Rough Sets. Theoretical Aspects of Reasoning about Data","author":"Pawlak Z.","year":"1991","unstructured":"Z. Pawlak. 1991. Rough Sets. Theoretical Aspects of Reasoning about Data. Kluwer Academic Publishers, Dordrecht."},{"key":"e_1_3_1_37_2","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/3-540-58095-6_12","volume-title":"Knowledge Representation and Reasoning under Uncertainty","author":"Rauszer C. M.","year":"1994","unstructured":"C. M. Rauszer. 1994. Rough logic for multiagent systems. In Knowledge Representation and Reasoning under Uncertainty, M. Masuch and L. Polos (Eds.). LNAI, Vol. 808. Springer-Verlag, 161\u2013181."},{"key":"e_1_3_1_38_2","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/978-3-540-48061-7_11","volume-title":"Proceedings of the 7th International Workshop on New Directions in Rough Sets, Data Mining, and Granular-Soft Computing (RSFDGrC\u201999)","author":"Stefanowski J.","year":"1999","unstructured":"J. Stefanowski and A. Tsouki\u00e0s. 1999. On the extension of rough sets under incomplete information. In Proceedings of the 7th International Workshop on New Directions in Rough Sets, Data Mining, and Granular-Soft Computing (RSFDGrC\u201999), N. Zhong, A. Skowron, and S. Ohsuga (Eds.). Springer-Verlag, London, UK, 73\u201381."},{"key":"e_1_3_1_39_2","first-page":"270","volume-title":"Foundations of Intelligent Systems, Proceedings of ISMIS 2003, LNCS","author":"Synak P.","year":"2003","unstructured":"P. Synak. 2003. Temporal feature extraction from temporal information systems. In Foundations of Intelligent Systems, Proceedings of ISMIS 2003, LNCS, Vol. 2871, Z. Zhong, Z. W. Ras, S. Tsumoto, and E. Suzuki (Eds.). Springer, Berlin, 270\u2013278."},{"key":"e_1_3_1_40_2","doi-asserted-by":"publisher","DOI":"10.5555\/123717.123723"},{"key":"e_1_3_1_41_2","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1080\/11663081.1998.10510944","article-title":"A tableau-based proof method for temporal logics of knowledge and belief","volume":"8","author":"Wooldridge M.","year":"1998","unstructured":"M. Wooldridge, C. Dixon, and M. Fisher. 1998. A tableau-based proof method for temporal logics of knowledge and belief. Journal of Applied Non-Classical Logics 8(3) (1998), 225\u2013258.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"e_1_3_1_42_2","series-title":"Proceedings of the 7th International Workshop on New Directions in Rough Sets, Data Mining, and Granular-Soft Computing (RSFDGrC\u201999),","first-page":"285","volume":"1711","author":"Yao Y. Y.","year":"1999","unstructured":"Y. Y. Yao and Q. Liu. 1999. A generalized decision logic in interval-set-valued information tables. In Proceedings of the 7th International Workshop on New Directions in Rough Sets, Data Mining, and Granular-Soft Computing (RSFDGrC\u201999),LNAI, Vol. 1711, Springer-Verlag, London, UK, 285\u2013293."}],"container-title":["ACM Transactions on Computational Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3549075","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3549075","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:00:21Z","timestamp":1750186821000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3549075"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,1,20]]},"references-count":41,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2023,1,31]]}},"alternative-id":["10.1145\/3549075"],"URL":"https:\/\/doi.org\/10.1145\/3549075","relation":{},"ISSN":["1529-3785","1557-945X"],"issn-type":[{"type":"print","value":"1529-3785"},{"type":"electronic","value":"1557-945X"}],"subject":[],"published":{"date-parts":[[2023,1,20]]},"assertion":[{"value":"2021-11-20","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2022-06-04","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-01-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}