{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T06:51:35Z","timestamp":1760597495795,"version":"3.41.0"},"reference-count":37,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2011,7,1]],"date-time":"2011-07-01T00:00:00Z","timestamp":1309478400000},"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":[[2011,7]]},"abstract":"<jats:p>The article proposes logics for<jats:italic>information systems<\/jats:italic>, which provide information about a set of objects regarding a set of attributes. Both \u201c<jats:italic>complete<\/jats:italic>\u201d and \u201c<jats:italic>incomplete<\/jats:italic>\u201d information systems are dealt with. The language of these logics contains modal operators, and constants corresponding to attributes and attribute values. Sound and complete deductive systems for these logics are presented, and the problem of decidability is addressed. Furthermore, notions of<jats:italic>information<\/jats:italic>and<jats:italic>information update<\/jats:italic>are defined, and dynamic extensions of the above logics are presented to accommodate these notions. A set of reduction axioms enables us to obtain a complete axiomatization of the dynamic logics.<\/jats:p>","DOI":"10.1145\/1970398.1970405","type":"journal-article","created":{"date-parts":[[2011,7,21]],"date-time":"2011-07-21T13:27:09Z","timestamp":1311254829000},"page":"1-36","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Logics for information systems and their dynamic extensions"],"prefix":"10.1145","volume":"12","author":[{"given":"Md. Aquil","family":"Khan","sequence":"first","affiliation":[{"name":"Indian Institute of Technology Kanpur, India"}]},{"given":"Mohua","family":"Banerjee","sequence":"additional","affiliation":[{"name":"Indian Institute of Technology Kanpur, India"}]}],"member":"320","published-online":{"date-parts":[[2011,7,22]]},"reference":[{"volume-title":"Incomplete Information: Rough Set Analysis","author":"Balbiani P.","key":"e_1_2_1_1_1","unstructured":"Balbiani , P. 1998. Axiomatization of logics based on Kripke models with relative accessibility relations . In Incomplete Information: Rough Set Analysis , E. Or\u0142owska, Ed., Physica Verlag , Heidelberg, Germany , 553--578. Balbiani, P. 1998. Axiomatization of logics based on Kripke models with relative accessibility relations. In Incomplete Information: Rough Set Analysis, E. Or\u0142owska, Ed., Physica Verlag, Heidelberg, Germany, 553--578."},{"key":"e_1_2_1_2_1","first-page":"2","article-title":"A hierarchy of modal logics with relative accessibility relations","volume":"9","author":"Balbiani P.","year":"1999","unstructured":"Balbiani , P. and Or\u0142owska , E. 1999 . A hierarchy of modal logics with relative accessibility relations . J. Appl. Non-Class. Logics 9 , 2 - 3 , 303--328. Balbiani, P. and Or\u0142owska, E. 1999. A hierarchy of modal logics with relative accessibility relations. J. Appl. Non-Class. Logics 9, 2-3, 303--328.","journal-title":"J. Appl. Non-Class. Logics"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:SYNT.0000024912.56773.5e"},{"key":"e_1_2_1_4_1","unstructured":"Baltag A. Moss S. and Solecki S. 1999. The logic of public announcements common knowledge and private suspicions. Tech. rep. SEN-R9922. CWI Amsterdam The Netherlands. Baltag A. Moss S. and Solecki S. 1999. The logic of public announcements common knowledge and private suspicions. Tech. rep. SEN-R9922. CWI Amsterdam The Netherlands."},{"key":"e_1_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Banerjee M. and Khan M. A . 2007 . Propositional logics from rough set theory. Transactions on Rough Sets VI Lecture Notes in Computer Science vol. 4374 Springer Berlin Germany 1--25. Banerjee M. and Khan M. A. 2007. Propositional logics from rough set theory. Transactions on Rough Sets VI Lecture Notes in Computer Science vol. 4374 Springer Berlin Germany 1--25.","DOI":"10.1007\/978-3-540-71200-8_1"},{"key":"e_1_2_1_6_1","unstructured":"Banerjee M. and Khan M. A. 2008. Rough set theory: A temporal logic view. In Studies in Logic Vol. 15 (Proceedings on Logic Navya-Nyaya and Applications: Homage to Bimal Krishna Matilal 2007) M. K. Chakraborty B. L\u00f6we M. N. Mitra and S. Sarukkai Eds. College Publications London U.K. 1--20. Banerjee M. and Khan M. A. 2008. Rough set theory: A temporal logic view. In Studies in Logic Vol. 15 (Proceedings on Logic Navya-Nyaya and Applications: Homage to Bimal Krishna Matilal 2007) M. K. Chakraborty B. L\u00f6we M. N. Mitra and S. Sarukkai Eds. College Publications London U.K. 1--20."},{"key":"e_1_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Blackburn P. de Rijke M. and Venema Y. 2001. Modal Logic. Cambridge University Press Cambridge U.K. Blackburn P. de Rijke M. and Venema Y. 2001. Modal Logic. Cambridge University Press Cambridge U.K.","DOI":"10.1017\/CBO9781107050884"},{"key":"e_1_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Burmeister P. and Holzer R. 2005. Treating incomplete knowledge in formal concept analysis. In Formal Concept Analysis B. Ganter G. Stumme and R. Wille Eds. Springer Verlag Berlin Germany 114--126. Burmeister P. and Holzer R. 2005. Treating incomplete knowledge in formal concept analysis. In Formal Concept Analysis B. Ganter G. Stumme and R. Wille Eds. Springer Verlag Berlin Germany 114--126.","DOI":"10.1007\/11528784_6"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/560122"},{"key":"e_1_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Fagin R. Halpern J. Y. Moses Y. and Vardi M. Y. 1995. Reasoning About Knowledge. MIT Press Cambridge MA. Fagin R. Halpern J. Y. Moses Y. and Vardi M. Y. 1995. Reasoning About Knowledge. MIT Press Cambridge MA.","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/128749.150945"},{"key":"e_1_2_1_13_1","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of the International Symposium on Methodologies for Intelligent Systems","author":"Grzyma\u0142a-Busse J. W.","unstructured":"Grzyma\u0142a-Busse , J. W. 1991. Rough set strategies to data with missing attribute values . In Proceedings of the International Symposium on Methodologies for Intelligent Systems . Lecture Notes in Computer Science , vol. 542 , Z. W. Ra\u015b and M. Zemankova, Eds ., Springer , Berlin, Germany, 368--377. Grzyma\u0142a-Busse, J. W. 1991. Rough set strategies to data with missing attribute values. In Proceedings of the International Symposium on Methodologies for Intelligent Systems. Lecture Notes in Computer Science, vol. 542, Z. W. Ra\u015b and M. Zemankova, Eds., Springer, Berlin, Germany, 368--377."},{"key":"e_1_2_1_14_1","volume-title":"Transactions on Rough Sets VIII. Lecture Notes in Computer Science","volume":"5084","author":"Grzyma\u0142a-Busse J. W.","unstructured":"Grzyma\u0142a-Busse , J. W. and Rzasa , W . 2008. Local and global approximations for incomplete data . Transactions on Rough Sets VIII. Lecture Notes in Computer Science , vol. 5084 , Springer, Berlin, Germany, 21--34. Grzyma\u0142a-Busse, J. W. and Rzasa, W. 2008. Local and global approximations for incomplete data. Transactions on Rough Sets VIII. Lecture Notes in Computer Science, vol. 5084, Springer, Berlin, Germany, 21--34."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2008.04.005"},{"volume-title":"Proceedings of the Logical Methods for Social Concepts Workshop. http:\/\/www.irit.fr\/Andreas. Herzig\/Esslli09\/.","author":"Khan M. A.","key":"e_1_2_1_17_1","unstructured":"Khan , M. A. and Banerjee , M . 2009a. A dynamic logic for multi-agent partial knowledge information systems . In Proceedings of the Logical Methods for Social Concepts Workshop. http:\/\/www.irit.fr\/Andreas. Herzig\/Esslli09\/. Khan, M. A. and Banerjee, M. 2009a. A dynamic logic for multi-agent partial knowledge information systems. In Proceedings of the Logical Methods for Social Concepts Workshop. http:\/\/www.irit.fr\/Andreas. Herzig\/Esslli09\/."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02906-6_71"},{"key":"e_1_2_1_19_1","unstructured":"Komorowski J. Pawlak Z. Polkowski L. and Skowron A. 1999. Rough sets: A tutorial. In Rough Fuzzy Hybridization: A New Trend in Decision-Making S. K. Pal and A. Skowron Eds. Springer Verlag 3--98. Komorowski J. Pawlak Z. Polkowski L. and Skowron A. 1999. Rough sets: A tutorial. In Rough Fuzzy Hybridization: A New Trend in Decision-Making S. K. Pal and A. Skowron Eds. Springer Verlag 3--98."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0255(98)10019-1"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0255(98)10065-8"},{"key":"e_1_2_1_22_1","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Proceedings of ICCS","author":"Obiedkov S.","unstructured":"Obiedkov , S. 2002. Modal logic for evaluating formulas in incomplete contexts . In Proceedings of ICCS . Lecture Notes in Artificial Intelligence , vol. 2393 . U. Priss, D. Corbett, and G. Angelova, Eds., Springer Verlag , Berlin, Germany, 314--325. Obiedkov, S. 2002. Modal logic for evaluating formulas in incomplete contexts. In Proceedings of ICCS. Lecture Notes in Artificial Intelligence, vol. 2393. U. Priss, D. Corbett, and G. Angelova, Eds., Springer Verlag, Berlin, Germany, 314--325."},{"key":"e_1_2_1_23_1","doi-asserted-by":"crossref","first-page":"101","DOI":"10.3233\/FI-1982-5106","article-title":"Dynamic information system","volume":"5","author":"Or\u0142owska E.","year":"1982","unstructured":"Or\u0142owska , E. 1982 . Dynamic information system . Fund. Informatic. 5 , 101 -- 118 . Or\u0142owska, E. 1982. Dynamic information system. Fund. Informatic. 5, 101--118.","journal-title":"Fund. Informatic."},{"key":"e_1_2_1_24_1","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of the Symposium on Computation Theory","author":"Or\u0142owska E.","unstructured":"Or\u0142owska , E. 1985a. Logic of indiscernibility relations . In Proceedings of the Symposium on Computation Theory . Lecture Notes in Computer Science , vol. 208 . G. Goos and J. Hartmanis, Eds . Springer Verlag , Berlin, Germany, 177--186. Or\u0142owska, E. 1985a. Logic of indiscernibility relations. In Proceedings of the Symposium on Computation Theory. Lecture Notes in Computer Science, vol. 208. G. Goos and J. Hartmanis, Eds. Springer Verlag, Berlin, Germany, 177--186."},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370813"},{"key":"e_1_2_1_26_1","doi-asserted-by":"crossref","unstructured":"Or\u0142owska E. 1990. Kripke semantics for knowledge representation logics. Stud. Logica XLIX 255--272. Or\u0142owska E. 1990. Kripke semantics for knowledge representation logics. Stud. Logica XLIX 255--272.","DOI":"10.1007\/BF00935602"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(84)90010-0"},{"key":"e_1_2_1_28_1","first-page":"1001","article-title":"Pretopologies and dynamic spaces","volume":"21","author":"Pagliani P.","year":"2001","unstructured":"Pagliani , P. 2001 . Pretopologies and dynamic spaces . Fund. Informatic. 21 , 1001 -- 1019 . Pagliani, P. 2001. Pretopologies and dynamic spaces. Fund. Informatic. 21, 1001--1019.","journal-title":"Fund. Informatic."},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01001956"},{"volume-title":"Theoretical Aspects of Reasoning about Data","author":"Pawlak Z.","key":"e_1_2_1_30_1","unstructured":"Pawlak , Z. 1991. Rough Sets . Theoretical Aspects of Reasoning about Data . Kluwer Academic Publishers , Dordrecht, The Netherlands. Pawlak, Z. 1991. Rough Sets. Theoretical Aspects of Reasoning about Data. Kluwer Academic Publishers, Dordrecht, The Netherlands."},{"key":"e_1_2_1_31_1","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Knowledge Representation and Reasoning under Uncertainty","author":"Rauszer C. M.","unstructured":"Rauszer , C. M. 1994. Rough logic for multiagent systems . In Knowledge Representation and Reasoning under Uncertainty . Lecture Notes in Artificial Intelligence , vol. 808 . M. Masuch and L. Polos, Eds ., Springer-Verlag , Berlin, Germany, 161--181. Rauszer, C. M. 1994. Rough logic for multiagent systems. In Knowledge Representation and Reasoning under Uncertainty. Lecture Notes in Artificial Intelligence, vol. 808. M. Masuch and L. Polos, Eds., Springer-Verlag, Berlin, Germany, 161--181."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/2379560.2379571"},{"key":"e_1_2_1_33_1","volume-title":"Proceedings of the RSFDGrC. Lecture Notes in Artificial Intelligence","volume":"1711","author":"Stefanowski J.","unstructured":"Stefanowski , J. and Tsouki\u00e0s , A . 1999. On the extension of rough sets under incomplete information . In Proceedings of the RSFDGrC. Lecture Notes in Artificial Intelligence , vol. 1711 . N. Zhong, A. Skowron, and S. Ohsuga, Eds. Springer, Berlin, Germany, 73--82. Stefanowski, J. and Tsouki\u00e0s, A. 1999. On the extension of rough sets under incomplete information. In Proceedings of the RSFDGrC. Lecture Notes in Artificial Intelligence, vol. 1711. N. Zhong, A. Skowron, and S. Ohsuga, Eds. Springer, Berlin, Germany, 73--82."},{"volume-title":"Abstract characterization of some knowledge representation systems and the logic NIL of nondeterministic information","author":"Vakarelov D.","key":"e_1_2_1_34_1","unstructured":"Vakarelov , D. 1987. Abstract characterization of some knowledge representation systems and the logic NIL of nondeterministic information . In Artificial Intelligence II, P. Jorrand and V. Sgurev Eds. North--Holland, Amesterdam , The Netherlands , 255--260. Vakarelov, D. 1987. Abstract characterization of some knowledge representation systems and the logic NIL of nondeterministic information. In Artificial Intelligence II, P. Jorrand and V. Sgurev Eds. North--Holland, Amesterdam, The Netherlands, 255--260."},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(91)90006-N"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054192000139"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1082473.1082495"},{"key":"e_1_2_1_38_1","doi-asserted-by":"crossref","unstructured":"van Ditmarsch H. van der Hoek W. and Kooi B. 2007. Dynamic Epistemic Logic. Springer Berlin Germany. van Ditmarsch H. van der Hoek W. and Kooi B. 2007. Dynamic Epistemic Logic. Springer Berlin Germany.","DOI":"10.1007\/978-1-4020-5839-4"},{"volume-title":"Proceedings of the 2006 IEEE International Conference on Granular Computing. 542--545","author":"Xe X.","key":"e_1_2_1_39_1","unstructured":"Xe , X. , Xu , L. , and Shen , W . 2006. Dynamic information system and its rough set model based on time sequence . In Proceedings of the 2006 IEEE International Conference on Granular Computing. 542--545 . Xe, X., Xu, L., and Shen, W. 2006. Dynamic information system and its rough set model based on time sequence. In Proceedings of the 2006 IEEE International Conference on Granular Computing. 542--545."}],"container-title":["ACM Transactions on Computational Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1970398.1970405","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1970398.1970405","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:52:53Z","timestamp":1750243973000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1970398.1970405"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7]]},"references-count":37,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2011,7]]}},"alternative-id":["10.1145\/1970398.1970405"],"URL":"https:\/\/doi.org\/10.1145\/1970398.1970405","relation":{},"ISSN":["1529-3785","1557-945X"],"issn-type":[{"type":"print","value":"1529-3785"},{"type":"electronic","value":"1557-945X"}],"subject":[],"published":{"date-parts":[[2011,7]]},"assertion":[{"value":"2009-11-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2010-08-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2011-07-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}