{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T04:13:48Z","timestamp":1749701628135,"version":"3.41.0"},"publisher-location":"Berlin, Heidelberg","reference-count":111,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662536100"},{"type":"electronic","value":"9783662536117"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-662-53611-7_5","type":"book-chapter","created":{"date-parts":[[2016,10,20]],"date-time":"2016-10-20T07:54:09Z","timestamp":1476950049000},"page":"146-320","source":"Crossref","is-referenced-by-count":1,"title":["Multiple-Source Approximation Systems, Evolving Information Systems and Corresponding Logics: A Study in Rough Set Theory"],"prefix":"10.1007","author":[{"given":"Md. Aquil","family":"Khan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,21]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","first-page":"553","DOI":"10.1007\/978-3-7908-1888-8_17","volume-title":"Incomplete Information: Rough Set Analysis","author":"P Balbiani","year":"1998","unstructured":"Balbiani, P.: Axiomatization of logics based on Kripke models with relative accessibility relations. In: Or\u0142owska, E. (ed.) Incomplete Information: Rough Set Analysis, pp. 553\u2013578. Physica Verlag, Heidelberg, New York (1998)"},{"issue":"2\u20133","key":"5_CR2","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1080\/11663081.1999.10510969","volume":"9","author":"P Balbiani","year":"1999","unstructured":"Balbiani, P., Or\u0142owska, E.: A hierarchy of modal logics with relative accessibility relations. J. Appl. Non-Class. Logics 9(2\u20133), 303\u2013328 (1999)","journal-title":"J. Appl. Non-Class. Logics"},{"key":"5_CR3","series-title":"LNAI","first-page":"44","volume-title":"Proceedings of TABLEAUX 1998","author":"M Baldoni","year":"1998","unstructured":"Baldoni, M., Giordano, L., Martelli, A.: A tableau calculus for multimodal logics and some (un)decidability results. In: de Swart, H. (ed.) Proceedings of TABLEAUX 1998. LNAI, vol. 1397, pp. 44\u201359. Springer, Heidelberg (1998)"},{"key":"5_CR4","unstructured":"Baltag, A., Moss, S., Solecki, S.: The logic of public announcements, common knowledge, and private suspicions. Technical report SEN-R9922, CWI, Amsterdam (1999)"},{"key":"5_CR5","series-title":"Workshops in Computing","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1007\/978-1-4471-3238-7_24","volume-title":"Rough Sets, Fuzzy Sets and Knowledge Discovery","author":"M Banerjee","year":"1994","unstructured":"Banerjee, M., Chakraborty, M.K.: Rough consequence, rough algebra. In: Ziarko, W.P. (ed.) RSKD 1993. WC, pp. 196\u2013207. Springer, London (1994)"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-540-71200-8_1","volume-title":"Transactions on Rough Sets VI","author":"M Banerjee","year":"2007","unstructured":"Banerjee, M., Khan, M.A.: Propositional logics from rough set theory. In: Peters, J.F., Skowron, A., D\u00fcntsch, I., Grzyma\u0142a-Busse, J.W., Or\u0142owska, E., Polkowski, L. (eds.) Transactions on Rough Sets VI. LNCS, vol. 4374, pp. 1\u201325. Springer, Heidelberg (2007)"},{"key":"5_CR7","unstructured":"Banerjee, M., Khan, M.A.: Rough set theory: a temporal logic view. In: Chakraborty, M.K., L\u00f6we, B., Mitra, M.N., Sarukkai, S. (eds.) Studies in Logic. Proceedings of Logic, Navya-Ny\u0101ya and Applications: Homage to Bimal Krishna Matilal, Kolkata, India, vol. 15, pp. 1\u201320. College Publications, London (2008). An earlier version of this paper was presented and published in the pre-proceedings of the conference, January 2007"},{"issue":"1","key":"5_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1023\/A:1015057926707","volume":"17","author":"B Bennett","year":"2002","unstructured":"Bennett, B., Dixon, C., Fisher, M., Hustadt, U., Franconi, E., de Rijke, M.: Combinations of modal logics. Artif. Intell. Rev. 17(1), 1\u201320 (2002)","journal-title":"Artif. Intell. Rev."},{"key":"5_CR9","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)"},{"key":"5_CR10","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1016\/j.artint.2006.12.001","volume":"171","author":"G Bonanno","year":"2007","unstructured":"Bonanno, G.: Axiomatic characterization of the AGM theory of belief revision in a temporal logic. Artif. Intell. 171, 144\u2013160 (2007)","journal-title":"Artif. Intell."},{"key":"5_CR11","first-page":"67","volume-title":"Dialogues, Logics and Other Strange Things: Essays in Honour of Shahid Rahman","author":"G Bonanno","year":"2008","unstructured":"Bonanno, G.: A sound and complete temporal logic for belief revision. In: D\u00e9gremont, C., Keiff, L., R\u00fcckert, H. (eds.) Dialogues, Logics and Other Strange Things: Essays in Honour of Shahid Rahman, pp. 67\u201380. College Publications, London (2008)"},{"issue":"2","key":"5_CR12","doi-asserted-by":"crossref","first-page":"257","DOI":"10.2307\/2271102","volume":"34","author":"RA Bull","year":"1969","unstructured":"Bull, R.A.: On modal logic with propositional quantifiers. J. Symb. Log. 34(2), 257\u2013263 (1969)","journal-title":"J. Symb. Log."},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intellignece)","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-48242-3_5","volume-title":"Logic for Programming and Automated Reasoning","author":"S Cerrito","year":"1999","unstructured":"Cerrito, S., Mayer, M.C., Praud, S.: First order linear temporal logic over finite time structures. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS (LNAI), vol. 1705, pp. 62\u201376. Springer, Heidelberg (1999)"},{"key":"5_CR14","volume-title":"Model Theory","author":"CC Chang","year":"1992","unstructured":"Chang, C.C., Keisler, H.J.: Model Theory. Elsevier Science Publications B.V., Amsterdam (1992)"},{"key":"5_CR15","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic","author":"BF Chellas","year":"1980","unstructured":"Chellas, B.F.: Modal Logic. Cambridge University Press, Cambridge (1980)"},{"key":"5_CR16","doi-asserted-by":"crossref","first-page":"1005","DOI":"10.1002\/int.20436","volume":"25","author":"H Chen","year":"2010","unstructured":"Chen, H., Li, T., Qiao, S., Ruan, D.: A rough set based dynamic maintenance approach for approximations in coarsening and refining attribute values. Int. J. Intell. Syst. 25, 1005\u20131026 (2010)","journal-title":"Int. J. Intell. Syst."},{"issue":"1","key":"5_CR17","doi-asserted-by":"crossref","first-page":"57","DOI":"10.3233\/FI-2012-640","volume":"115","author":"C David","year":"2012","unstructured":"David, C.: Temporal dynamics in information tables. Fundamenta Informaticae 115(1), 57\u201374 (2012)","journal-title":"Fundamenta Informaticae"},{"key":"5_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04997-6","volume-title":"Incomplete Information: Structure, Inference, Complexity","author":"S Demri","year":"2002","unstructured":"Demri, S., Or\u0142owska, E.: Incomplete Information: Structure, Inference, Complexity. Springer, Heidelberg (2002)"},{"key":"5_CR19","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/978-3-540-72458-2_9","volume-title":"Rough Sets and Knowledge Technology","author":"D Deng","year":"2007","unstructured":"Deng, D., Huang, H.-K.: Dynamic reduction based on rough sets in incomplete decision systems. In: Yao, J.T., Lingras, P., Wu, W.-Z., Szczuka, M.S., Cercone, N.J., \u015al\u0229zak, D. (eds.) RSKT 2007. LNCS (LNAI), vol. 4481, pp. 76\u201383. Springer, Heidelberg (2007)"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Dixon, C., Fisher, M.: Tableaux for temporal logics of knowledge: synchronous systems of perfect recall or no learning. In: Proceedings of Tenth International Symposium on Temporal Representation and Reasoning and the Fourth International Conference on Temporal Logic (TIME-ICTL 2003), pp. 62\u201371. IEEE Computer Society Press (2003)","DOI":"10.1109\/TIME.2003.1214881"},{"key":"5_CR21","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1080\/03081079008935107","volume":"17","author":"D Dubois","year":"1990","unstructured":"Dubois, D., Prade, H.: Rough fuzzy sets and fuzzy rough sets. Int. J. Gen. Syst. 17, 191\u2013200 (1990)","journal-title":"Int. J. Gen. Syst."},{"key":"5_CR22","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"R Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. The MIT Press, Cambridge (1995)"},{"key":"5_CR23","doi-asserted-by":"crossref","first-page":"328","DOI":"10.1145\/128749.150945","volume":"39","author":"R Fagin","year":"1992","unstructured":"Fagin, R., Halpern, J.Y., Vardi, M.Y.: What can machines know? On the properties of knowledge in distributed systems. J. ACM 39, 328\u2013376 (1992)","journal-title":"J. ACM"},{"key":"5_CR24","unstructured":"Fan, T.F., Hu, W.C., Liau, C.J.: Decision logics for knowledge representation in data mining. In: COMPSAC 2001: Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development, p. 626. IEEE Computer Society, Washington, DC (2001)"},{"key":"5_CR25","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","first-page":"651","DOI":"10.1007\/11548669_67","volume-title":"Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing","author":"T-F Fan","year":"2005","unstructured":"Fan, T.-F., Liu, D.-R., Tzeng, G.-H.: Arrow decision logic. In: \u015al\u0119zak, D., Wang, G., Szczuka, M.S., D\u00fcntsch, I., Yao, Y. (eds.) RSFDGrC 2005. LNCS (LNAI), vol. 3641, pp. 651\u2013659. Springer, Heidelberg (2005)"},{"key":"5_CR26","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/0304-3975(85)90046-5","volume":"36","author":"L Farinas Del Cerro","year":"1997","unstructured":"Farinas Del Cerro, L., Or\u0142owska, E.: DAL \u2013 a logic for data analysis. Theoret. Comput. Sci. 36, 251\u2013264 (1997)","journal-title":"Theoret. Comput. Sci."},{"key":"5_CR27","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF00156915","volume":"1","author":"M Finger","year":"1992","unstructured":"Finger, M., Gabbay, D.M.: Adding a temporal dimension to a logic system. J. Log. Lang. Inf. 1, 203\u2013233 (1992)","journal-title":"J. Log. Lang. Inf."},{"key":"5_CR28","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2794-5","volume-title":"Proof Methods for Modal and Intuitionistic Logics","author":"M Fitting","year":"1983","unstructured":"Fitting, M.: Proof Methods for Modal and Intuitionistic Logics. D. Reidel Publishing Co., Dordrecht (1983)"},{"issue":"1","key":"5_CR29","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1093\/jigpal\/6.1.73","volume":"6","author":"DM Gabbay","year":"1998","unstructured":"Gabbay, D.M., Shehtman, V.B.: Product of modal logics, part 1. Log. J. IGPL 6(1), 73\u2013146 (1998)","journal-title":"Log. J. IGPL"},{"key":"5_CR30","unstructured":"Gargov, G.: Two completeness theorems in the logic for data analysis. Technical report 581, Institute of Computer Science, Polish Academy of Sciences, Warsaw (1986)"},{"key":"5_CR31","unstructured":"Gerbrandy, J.: Bisimulations on planet Kripke. Ph.D. thesis, ILLC, University of Amsterdam (1999)"},{"key":"5_CR32","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/3-540-59338-1_29","volume-title":"Theorem Proving with Analytic Tableaux and Related Methods","author":"G Governatori","year":"1995","unstructured":"Governatori, G.: Labelled tableaux for multi-modal logics. In: Baumgartner, P., H\u00e4hnle, R., Posegga, J. (eds.) TABLEAUX 1995. LNCS (LNAI), vol. 918, pp. 79\u201394. Springer, Heidelberg (1995)"},{"key":"5_CR33","first-page":"21","volume":"VIII","author":"JW Grzyma\u0142a-Busse","year":"2008","unstructured":"Grzyma\u0142a-Busse, J.W., Rzasa, W.: Local, global approximations for incomplete data. Trans. Rough Sets VIII, 21\u201334 (2008)","journal-title":"Trans. Rough Sets"},{"issue":"3","key":"5_CR34","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1145\/79147.79161","volume":"37","author":"JY Halpern","year":"1990","unstructured":"Halpern, J.Y., Moses, Y.: Knowledge and common knowledge in a distributed environment. J. ACM 37(3), 549\u2013587 (1990)","journal-title":"J. ACM"},{"issue":"3","key":"5_CR35","doi-asserted-by":"crossref","first-page":"674","DOI":"10.1137\/S0097539797320906","volume":"33","author":"JY Halpern","year":"2004","unstructured":"Halpern, J.Y., van der Meyden, R., Vardi, M.Y.: Complete axiomatizations for reasoning about knowledge and time. SIAM J. Comput. 33(3), 674\u2013703 (2004)","journal-title":"SIAM J. Comput."},{"key":"5_CR36","unstructured":"He, X., Xu, L., Shen, W.: Dynamic information system and its rough set model based on time sequence. In: Proceedings of the IEEE International Conference on Granular Computing, pp. 542\u2013545, May 2006"},{"issue":"2","key":"5_CR37","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1023\/A:1021356410579","volume":"72","author":"I Hodkinson","year":"2002","unstructured":"Hodkinson, I.: Monodic packed fragment with equality is decidable. Stud. Logica 72(2), 185\u2013197 (2002)","journal-title":"Stud. Logica"},{"key":"5_CR38","doi-asserted-by":"crossref","unstructured":"Hodkinson, I., Kontchakov, R., Kurucz, A., Wolter, F., Zakharyaschev, M.: On the computational complexity of decidable fragments of first-order linear temporal logics. In: TIME 2003, Proceedings of the 10th International Symposium on Temporal Representation and Reasoning, pp. 91\u201398 (2003)","DOI":"10.1109\/TIME.2003.1214884"},{"issue":"1\u20133","key":"5_CR39","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/S0168-0072(00)00018-X","volume":"106","author":"I Hodkinson","year":"2000","unstructured":"Hodkinson, I., Wolter, F., Zakharyaschev, M.: Decidable fragments of first-order temporal logics. Ann. Pure Appl. Logic 106(1\u20133), 85\u2013134 (2000)","journal-title":"Ann. Pure Appl. Logic"},{"key":"5_CR40","doi-asserted-by":"crossref","DOI":"10.4324\/9780203290644","volume-title":"A New Introduction to Modal Logic","author":"GE Hughes","year":"1996","unstructured":"Hughes, G.E., Cresswell, M.J.: A New Introduction to Modal Logic. Routledge, London (1996)"},{"key":"5_CR41","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1016\/S1571-0661(04)80704-7","volume":"82","author":"B Jerzy","year":"2003","unstructured":"Jerzy, B., S\u0142owi\u0144ski, R.: Incremental induction of decision rules from dominance-based rough approximations. Electron. Notes Theor. Comput. Sci. 82, 40\u201351 (2003)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"5_CR42","unstructured":"Khan, M.A.: Multiple-source approximation systems, evolving information systems and corresponding logics: a study in rough set theory. Ph.D. thesis, Indian Institute of Technology Kanpur (2010)"},{"key":"5_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/978-3-662-45824-2_8","volume-title":"Logic and Its Applications","author":"MA Khan","year":"2015","unstructured":"Khan, M.A.: A modal logic for non-deterministic information systems. In: Banerjee, M., Krishna, S.N. (eds.) ICLA 2015. LNCS, vol. 8923, pp. 119\u2013131. Springer, Heidelberg (2015)"},{"key":"5_CR44","series-title":"Springer Proceedings in Mathematics and Statistics","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/978-81-322-2301-6_9","volume-title":"Facets of Uncertainties and Applications","author":"MA Khan","year":"2015","unstructured":"Khan, M.A.: A probabilistic approach to information system and rough set theory. In: Chakraborty, M.K., Skowron, A., Maiti, M., Kar, S. (eds.) Facets of Uncertainties and Applications. Springer Proceedings in Mathematics and Statistics, vol. 125, pp. 113\u2013123. Springer, Heidelberg (2015). (chapter 9)"},{"issue":"2","key":"5_CR45","doi-asserted-by":"crossref","first-page":"466","DOI":"10.1016\/j.ijar.2008.04.005","volume":"49","author":"MA Khan","year":"2008","unstructured":"Khan, M.A., Banerjee, M.: Formal reasoning with rough sets in multiple-source approximation systems. Int. J. Approx. Reason. 49(2), 466\u2013477 (2008)","journal-title":"Int. J. Approx. Reason."},{"key":"5_CR46","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1007\/978-3-540-79721-0_16","volume-title":"Rough Sets and Knowledge Technology","author":"MA Khan","year":"2008","unstructured":"Khan, M.A., Banerjee, M.: Multiple-source approximation systems: membership functions and indiscernibility. In: Wang, G., Li, T., Grzymala-Busse, J.W., Miao, D., Skowron, A., Yao, Y. (eds.) RSKT 2008. LNCS (LNAI), vol. 5009, pp. 80\u201387. Springer, Heidelberg (2008)"},{"key":"5_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/978-3-642-10646-0_8","volume-title":"Rough Sets, Fuzzy Sets, Data Mining and Granular Computing","author":"MA Khan","year":"2009","unstructured":"Khan, M.A., Banerjee, M.: An algebraic semantics for the logic of multiple-source approximation systems. In: Sakai, H., Chakraborty, M.K., Hassanien, A.E., \u015al\u0119zak, D., Zhu, W. (eds.) RSFDGrC 2009. LNCS, vol. 5908, pp. 69\u201376. Springer, Heidelberg (2009)"},{"key":"5_CR48","unstructured":"Khan, M.A., Banerjee, M.: A dynamic logic for multi-agent partial knowledge information systems. In: Proceedings of the Workshop on Logical Methods for Social Concepts (LMSC 2009) at ESSLLI 2009, Bordeaux, France (2009). http:\/\/www.irit.fr\/Andreas.Herzig\/Esslli09\/"},{"key":"5_CR49","series-title":"Lecture Notes in Computer Science","first-page":"829","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"MA Khan","year":"2009","unstructured":"Khan, M.A., Banerjee, M.: A logic for complete information systems. In: Sossai, C., Chemello, G. (eds.) ECSQARU 2009. LNCS, vol. 5590, pp. 829\u2013840. Springer, Heidelberg (2009)"},{"key":"5_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/978-3-642-13529-3_27","volume-title":"Rough Sets and Current Trends in Computing","author":"MA Khan","year":"2010","unstructured":"Khan, M.A., Banerjee, M.: A preference-based multiple-source rough set model. In: Szczuka, M., Kryszkiewicz, M., Ramanna, S., Jensen, R., Hu, Q. (eds.) RSCTC 2010. LNCS, vol. 6086, pp. 247\u2013256. Springer, Heidelberg (2010)"},{"key":"5_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1007\/978-3-642-14467-7_3","volume-title":"Transactions on Rough Sets XII","author":"MA Khan","year":"2010","unstructured":"Khan, M.A., Banerjee, M.: A study of multiple-source approximation systems. In: Peters, J.F., Skowron, A., S\u0142owi\u0144ski, R., Lingras, P., Miao, D., Tsumoto, S. (eds.) Transactions on Rough Sets XII. LNCS, vol. 6190, pp. 46\u201375. Springer, Heidelberg (2010)"},{"issue":"5","key":"5_CR52","doi-asserted-by":"crossref","first-page":"663","DOI":"10.1007\/s10992-010-9163-1","volume":"40","author":"MA Khan","year":"2011","unstructured":"Khan, M.A., Banerjee, M.: A logic for multiple-source approximation systems with distributed knowledge base. J. Philos. Log. 40(5), 663\u2013692 (2011)","journal-title":"J. Philos. Log."},{"issue":"4","key":"5_CR53","first-page":"29","volume":"12","author":"MA Khan","year":"2011","unstructured":"Khan, M.A., Banerjee, M.: Logics for information systems and their dynamic extensions. ACM Trans. Comput. Log. 12(4), 29 (2011)","journal-title":"ACM Trans. Comput. Log."},{"issue":"3","key":"5_CR54","doi-asserted-by":"crossref","first-page":"827","DOI":"10.1093\/logcom\/exu055","volume":"25","author":"MA Khan","year":"2015","unstructured":"Khan, M.A., Banerjee, M.: Logics for some dynamic spaces-I. J. Log. Comput. 25(3), 827\u2013856 (2015)","journal-title":"J. Log. Comput."},{"issue":"3","key":"5_CR55","doi-asserted-by":"crossref","first-page":"857","DOI":"10.1093\/logcom\/exu056","volume":"25","author":"MA Khan","year":"2015","unstructured":"Khan, M.A., Banerjee, M.: Logics for some dynamic spaces-II. J. Log. Comput. 25(3), 857\u2013878 (2015)","journal-title":"J. Log. Comput."},{"key":"5_CR56","doi-asserted-by":"crossref","first-page":"436","DOI":"10.1016\/j.ijar.2013.07.007","volume":"55","author":"MA Khan","year":"2014","unstructured":"Khan, M.A., Banerjee, M., Rieke, R.: An update logic for information systems. Int. J. Approx. Reason. 55, 436\u2013456 (2014)","journal-title":"Int. J. Approx. Reason."},{"key":"5_CR57","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/978-3-642-18026-2_11","volume-title":"Logic and Its Applications","author":"MA Khan","year":"2011","unstructured":"Khan, M.A., Ma, M.: A modal logic for multiple-source tolerance approximation spaces. In: Banerjee, M., Seth, A. (eds.) Logic and Its Applications. LNCS, vol. 6521, pp. 124\u2013136. Springer, Heidelberg (2011)"},{"key":"5_CR58","first-page":"3","volume-title":"Rough Fuzzy Hybridization: A New Trend in Decision-Making","author":"J Komorowski","year":"1999","unstructured":"Komorowski, J., Pawlak, Z., Polkowski, L., Skowron, A.: Rough sets: a tutorial. In: Pal, S.K., Skowron, A. (eds.) Rough Fuzzy Hybridization: A New Trend in Decision-Making, pp. 3\u201398. Springer, Singapore (1999)"},{"issue":"1","key":"5_CR59","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2964568","volume":"24","author":"SA Kripke","year":"1959","unstructured":"Kripke, S.A.: A completeness theorem in modal logic. J. Symb. Log. 24(1), 1\u201314 (1959)","journal-title":"J. Symb. Log."},{"key":"5_CR60","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/S0020-0255(98)10019-1","volume":"112","author":"M Kryszkiewicz","year":"1998","unstructured":"Kryszkiewicz, M.: Rough set approach to incomplete information systems. Inf. Sci. 112, 39\u201349 (1998)","journal-title":"Inf. Sci."},{"key":"5_CR61","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/S0020-0255(98)10065-8","volume":"113","author":"M Kryszkiewicz","year":"1999","unstructured":"Kryszkiewicz, M.: Rules in incomplete information systems. Inf. Sci. 113, 271\u2013292 (1999)","journal-title":"Inf. Sci."},{"key":"5_CR62","doi-asserted-by":"crossref","unstructured":"Ladner, R., Reif, J.: The logic of distributed protocols. In: Halpern, J.Y. (ed.) Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning About Knowledge, pp. 207\u2013222. Morgan Kaufmann Publishers Inc., San Francisco (1986)","DOI":"10.1016\/B978-0-934613-04-0.50016-8"},{"key":"5_CR63","doi-asserted-by":"crossref","unstructured":"Lehmann, D.J.: Knowledge, common knowledge and related puzzles (extended summary). In: PODC 1984: Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, pp. 62\u201367. ACM, New York (1984)","DOI":"10.1145\/800222.806736"},{"issue":"7","key":"5_CR64","doi-asserted-by":"crossref","first-page":"1080","DOI":"10.1016\/j.ijar.2012.05.004","volume":"53","author":"JY Liang","year":"2012","unstructured":"Liang, J.Y., Wang, F., Dang, C.Y., Qian, Y.H.: An efficient rough feature selsction algorithm with a multi-granulation view. Int. J. Approx. Reason. 53(7), 1080\u20131093 (2012)","journal-title":"Int. J. Approx. Reason."},{"issue":"1","key":"5_CR65","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1142\/S0218488500000071","volume":"8","author":"CJ Liau","year":"2000","unstructured":"Liau, C.J.: An overview of rough set semantics for modal and quantifier logics. Intl. J. Uncertain. Fuzziness Knowl.-Based Syst. 8(1), 93\u2013118 (2000)","journal-title":"Intl. J. Uncertain. Fuzziness Knowl.-Based Syst."},{"key":"5_CR66","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/j.ins.2013.03.046","volume":"241","author":"GP Lin","year":"2013","unstructured":"Lin, G.P., Liang, Y.H., Qian, J.Y.: Multigranulation rough sets: from partition to covering. Inf. Sci. 241, 101\u2013118 (2013)","journal-title":"Inf. Sci."},{"issue":"7","key":"5_CR67","doi-asserted-by":"crossref","first-page":"1080","DOI":"10.1016\/j.ijar.2012.05.004","volume":"53","author":"GP Lin","year":"2012","unstructured":"Lin, G.P., Qian, Y.H., Li, J.J.: NMGRS: neighborhood-based multigranulation rough sets. Int. J. Approx. Reason. 53(7), 1080\u20131093 (2012)","journal-title":"Int. J. Approx. Reason."},{"key":"5_CR68","unstructured":"Lin, T.Y., Yao, Y.Y.: Neighborhoods system: measure, probability and belief functions. In: Proceedings of the 4th International Workshop on Rough Sets and Fuzzy Sets and Machine Discovery, pp. 202\u2013207, November 1996"},{"key":"5_CR69","doi-asserted-by":"crossref","first-page":"1764","DOI":"10.1016\/j.ijar.2014.05.009","volume":"55","author":"D Liu","year":"2014","unstructured":"Liu, D., Li, T., Zhang, J.: A rough set-based incremental approach for learning knowledge in dynamic incomplete information systems. Int. J. Approx. Reason. 55, 1764\u20131786 (2014)","journal-title":"Int. J. Approx. Reason."},{"issue":"2","key":"5_CR70","doi-asserted-by":"crossref","first-page":"245","DOI":"10.3233\/FI-2009-129","volume":"94","author":"D Liu","year":"2009","unstructured":"Liu, D., Li, T.R., Ruan, D., Zou, W.L.: An incremental approach for inducing knowledge from dynamic information systems. Fundamenta Informaticae 94(2), 245\u2013260 (2009)","journal-title":"Fundamenta Informaticae"},{"key":"5_CR71","volume-title":"The Temporal Logic of Reactive and Concurrent Systems Specification","author":"Z Manna","year":"1991","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems Specification. Springer, Heidelberg (1991)"},{"key":"5_CR72","volume-title":"First Order Mathematical Logic","author":"A Margaris","year":"1966","unstructured":"Margaris, A.: First Order Mathematical Logic. Blaisdell Publishing Company, London (1966)"},{"key":"5_CR73","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1023\/A:1006155811656","volume":"24","author":"F Massacci","year":"2000","unstructured":"Massacci, F.: Single step tableaux for modal logics. J. Autom. Reason. 24, 319\u2013364 (2000)","journal-title":"J. Autom. Reason."},{"key":"5_CR74","unstructured":"Murakami, Y.: Modal logic of partitions. Ph.D. thesis, University Graduate School, Indiana University (2005)"},{"key":"5_CR75","doi-asserted-by":"crossref","first-page":"101","DOI":"10.3233\/FI-1982-5106","volume":"5","author":"E Or\u0142owska","year":"1982","unstructured":"Or\u0142owska, E.: Dynamic information system. Fundamenta Informaticae 5, 101\u2013118 (1982)","journal-title":"Fundamenta Informaticae"},{"key":"5_CR76","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1007\/3-540-16066-3_17","volume-title":"Computation Theory","author":"E Or\u0142owska","year":"1985","unstructured":"Or\u0142owska, E.: Logic of indiscernibility relations. In: Goos, G., Hartmanis, J. (eds.) Computation Theory. LNCS, vol. 208, pp. 177\u2013186. Springer, Heidelberg (1985)"},{"key":"5_CR77","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/BF00370813","volume":"1","author":"E Or\u0142owska","year":"1985","unstructured":"Or\u0142owska, E.: Logic of nondeterministic information. Stud. Logica 1, 91\u2013100 (1985)","journal-title":"Stud. Logica"},{"key":"5_CR78","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/BF00935602","volume":"XLIX","author":"E Or\u0142owska","year":"1990","unstructured":"Or\u0142owska, E.: Kripke semantics for knowledge representation logics. Studia Logica XLIX, 255\u2013272 (1990)","journal-title":"Studia Logica"},{"key":"5_CR79","first-page":"207","volume":"4","author":"E Or\u0142owska","year":"1999","unstructured":"Or\u0142owska, E.: Many-valuedness and uncertainty. Intl. J. Mult. Valued Log. 4, 207\u2013277 (1999)","journal-title":"Intl. J. Mult. Valued Log."},{"issue":"5","key":"5_CR80","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1016\/S0020-7373(84)80023-1","volume":"20","author":"E Or\u0142owska","year":"1984","unstructured":"Or\u0142owska, E., Pawlak, Z.: Expressive power of knowledge representation systems. Int. J. Man Mach. Stud. 20(5), 485\u2013500 (1984)","journal-title":"Int. J. Man Mach. Stud."},{"key":"5_CR81","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0304-3975(84)90010-0","volume":"29","author":"E Or\u0142owska","year":"1984","unstructured":"Or\u0142owska, E., Pawlak, Z.: Representation of nondeterministic information. Theoret. Comput. Sci. 29, 27\u201339 (1984)","journal-title":"Theoret. Comput. Sci."},{"issue":"2\u20133","key":"5_CR82","first-page":"221","volume":"59","author":"P Pagliani","year":"2004","unstructured":"Pagliani, P.: Pretopologies and dynamic spaces. Fundamenta Informaticae 59(2\u20133), 221\u2013239 (2004)","journal-title":"Fundamenta Informaticae"},{"issue":"5","key":"5_CR83","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/BF01001956","volume":"11","author":"Z Pawlak","year":"1982","unstructured":"Pawlak, Z.: Rough sets. Intl. J. Comput. Inf. Sci. 11(5), 341\u2013356 (1982)","journal-title":"Intl. J. Comput. Inf. Sci."},{"key":"5_CR84","volume-title":"Rough Sets. Theoretical Aspects of Reasoning About Data","author":"Z Pawlak","year":"1991","unstructured":"Pawlak, Z.: Rough Sets. Theoretical Aspects of Reasoning About Data. Kluwer Academic Publishers, Dordrecht (1991)"},{"key":"5_CR85","unstructured":"Pomyka\u0142a, J.A.: Approximation, similarity and rough constructions. ILLC prepublication series for computation and complexity theory CT-93-07, University of Amsterdam (1993)"},{"issue":"2","key":"5_CR86","doi-asserted-by":"crossref","first-page":"420","DOI":"10.1109\/TSMCA.2009.2035436","volume":"40","author":"YH Qian","year":"2010","unstructured":"Qian, Y.H., Liang, J.Y., Yao, Y.Y., Dang, C.Y.: Incomplete multigranulation rough set. IEEE Trans. Syst. Man Cybern. Part A 40(2), 420\u2013431 (2010)","journal-title":"IEEE Trans. Syst. Man Cybern. Part A"},{"key":"5_CR87","doi-asserted-by":"crossref","first-page":"949","DOI":"10.1016\/j.ins.2009.11.023","volume":"180","author":"YH Qian","year":"2010","unstructured":"Qian, Y.H., Liang, J.Y., Yao, Y.Y., Dang, C.Y.: MGRS: a multi-granulation rough set. Inf. Sci. 180, 949\u2013970 (2010)","journal-title":"Inf. Sci."},{"issue":"1","key":"5_CR88","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/j.ijar.2013.03.004","volume":"55","author":"YH Qian","year":"2014","unstructured":"Qian, Y.H., Zhang, H., Sang, Y.L., Liang, J.Y.: Multigranulation decision-theoretic rough sets. Int. J. Approx. Reason. 55(1), 225\u2013237 (2014)","journal-title":"Int. J. Approx. Reason."},{"key":"5_CR89","volume-title":"An Algebraic Approach to Non-classical Logics","author":"H Rasiowa","year":"1974","unstructured":"Rasiowa, H.: An Algebraic Approach to Non-classical Logics. North-Holland Publishing Company, Amsterdam (1974)"},{"key":"5_CR90","unstructured":"Rasiowa, H., Marek, W.: On reaching consensus by groups of intelligent agents. In: Ras, Z.W. (ed.), Proceedings of the International Symposium on Methodologies, Intelligent Systems ISMIS 1989, Charlotte, NC, pp. 234\u2013243. North-Holland, New York (1989)"},{"key":"5_CR91","doi-asserted-by":"crossref","first-page":"193","DOI":"10.4064\/fm-37-1-193-200","volume":"37","author":"H Rasiowa","year":"1950","unstructured":"Rasiowa, H., Sikorski, R.: A proof of the completeness theorem of godel. Fundamenta Informaticae 37, 193\u2013203 (1950)","journal-title":"Fundamenta Informaticae"},{"key":"5_CR92","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/3-540-58095-6_12","volume-title":"Knowledge Representation and Reasoning Under Uncertainty","author":"CM Rauszer","year":"1994","unstructured":"Rauszer, C.M.: Rough logic for multiagent systems. In: Masuch, M., Polos, L. (eds.) Knowledge Representation and Reasoning Under Uncertainty. LNCS, vol. 808, pp. 161\u2013181. Springer, Heidelberg (1994)"},{"key":"5_CR93","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1111\/j.1467-8640.1995.tb00038.x","volume":"11","author":"N Shan","year":"1995","unstructured":"Shan, N., Ziarko, W.: Data-based acquisition and incremental modification of classification rules. Comput. Intell. 11, 357\u2013370 (1995)","journal-title":"Comput. Intell."},{"key":"5_CR94","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/j.knosys.2012.05.019","volume":"36","author":"YH She","year":"2012","unstructured":"She, Y.H., He, X.L.: On the structure of the multigranulation rough set model. Knowl.-Based Syst. 36, 81\u201392 (2012)","journal-title":"Knowl.-Based Syst."},{"key":"5_CR95","doi-asserted-by":"crossref","first-page":"245","DOI":"10.3233\/FI-1996-272311","volume":"27","author":"A Skowron","year":"1996","unstructured":"Skowron, A., Stepaniuk, J.: Tolerance approximation spaces. Fundamenta Informaticae 27, 245\u2013253 (1996)","journal-title":"Fundamenta Informaticae"},{"key":"5_CR96","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/j.ijar.2004.11.004","volume":"40","author":"D \u015al\u0229zak","year":"2005","unstructured":"\u015al\u0229zak, D., Ziarko, W.: The investigation of the Bayesian rough set model. Int. J. Approx. Reason. 40, 81\u201391 (2005)","journal-title":"Int. J. Approx. Reason."},{"key":"5_CR97","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/978-3-540-48061-7_11","volume-title":"New Directions in Rough Sets, Data Mining, and Granular-Soft Computing","author":"J Stefanowski","year":"1999","unstructured":"Stefanowski, J., Tsouki\u00e0s, A.: On the extension of rough sets under incomplete information. In: Zhong, N., Skowron, A., Ohsuga, S. (eds.) RSFDGrC 1999. LNCS (LNAI), vol. 1711, pp. 73\u201382. Springer, Heidelberg (1999)"},{"key":"5_CR98","first-page":"401","volume-title":"Advances in Modal Logic","author":"Y Tanaka","year":"2001","unstructured":"Tanaka, Y., Ono, H.: Rasiowa-Sikorski lemma and Kripke completeness of predicate and infinitary modal logics. In: Zakharyaschev, Z., Segerberg, K., de Rijke, M., Wansing, H. (eds.) Advances in Modal Logic, vol. 2, pp. 401\u2013419. CSLI Publications, Stanford (2001)"},{"key":"5_CR99","unstructured":"Tong, L., An, L.: Incremental learning of decision rules based on rough set theory. In: IWCICA 2002: Proceedings of the 4th World Congress on Intelligent Control and Automation, pp. 420\u2013425 (2002)"},{"key":"5_CR100","first-page":"255","volume-title":"Artificial Intelligence II","author":"D Vakarelov","year":"1987","unstructured":"Vakarelov, D.: Abstract characterization of some knowledge representation systems and the logic NIL of nondeterministic information. In: Jorrand, P., Sgurev, V. (eds.) Artificial Intelligence II, pp. 255\u2013260. North-Holland, Amsterdam (1987)"},{"key":"5_CR101","first-page":"433","volume":"90","author":"D Vakarelov","year":"1991","unstructured":"Vakarelov, D.: Modal logics for knowledge representation systems. Theoret. Comput. Sci. 90, 433\u2013456 (1991)","journal-title":"Theoret. Comput. Sci."},{"key":"5_CR102","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1142\/S0129054192000139","volume":"3","author":"W Hoek van der","year":"1992","unstructured":"van der Hoek, W., Meyer, J.J.: Making some issues of implicit knowledge explicit. Found. Comput. Sci. 3, 193\u2013223 (1992)","journal-title":"Found. Comput. Sci."},{"key":"5_CR103","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic epistemic logic with assignment. In: Dignum, F., Dignum, V., Koenig, S., Kraus, S., Singh, M., Wooldridge, M. (eds.) AAMAS 2005: Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 141\u2013148. ACM, New York (2005)","DOI":"10.1145\/1082473.1082495"},{"key":"5_CR104","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H Ditmarsch van","year":"2007","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Springer, Berlin (2007)"},{"key":"5_CR105","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","first-page":"428","DOI":"10.1007\/3-540-45554-X_53","volume-title":"Rough Sets and Current Trends in Computing","author":"A Wojna","year":"2001","unstructured":"Wojna, A.: Constraint based incremental learning of classification rules. In: Ziarko, W.P., Yao, Y. (eds.) RSCTC 2000. LNCS (LNAI), vol. 2005, p. 428. Springer, Heidelberg (2001)"},{"issue":"3","key":"5_CR106","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1080\/11663081.1998.10510944","volume":"8","author":"M Wooldridge","year":"1998","unstructured":"Wooldridge, M., Dixon, C., Fisher, M.: A tableau-based proof method for temporal logics of knowledge and belief. J. Appl. Non-Class. Log. 8(3), 225\u2013258 (1998)","journal-title":"J. Appl. Non-Class. Log."},{"key":"5_CR107","doi-asserted-by":"crossref","first-page":"3878","DOI":"10.1016\/j.ins.2011.04.047","volume":"181","author":"WZ Wu","year":"2011","unstructured":"Wu, W.Z., Leung, Y.: Theory and applications of granular labeled partitions in multi-scale decision tables. Inf. Sci. 181, 3878\u20133897 (2011)","journal-title":"Inf. Sci."},{"issue":"4","key":"5_CR108","first-page":"246","volume":"13","author":"WH Xu","year":"2011","unstructured":"Xu, W.H., Wang, Q.R., Zhang, X.T.: Multi-granulation fuzzy rough sets in a fuzzy tolerance approximation space. Int. J. Fuzzy Syst. 13(4), 246\u2013259 (2011)","journal-title":"Int. J. Fuzzy Syst."},{"issue":"6","key":"5_CR109","doi-asserted-by":"crossref","first-page":"1169","DOI":"10.1007\/s11390-012-1294-0","volume":"27","author":"XB Yang","year":"2012","unstructured":"Yang, X.B., Qian, Y.H., Yang, J.Y.: Hierarchical structures on multigranulation spaces. J. Comput. Sci. Technol. 27(6), 1169\u20131183 (2012)","journal-title":"J. Comput. Sci. Technol."},{"key":"5_CR110","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1007\/978-3-540-48061-7_35","volume-title":"New Directions in Rough Sets, Data Mining, and Granular-Soft Computing","author":"YY Yao","year":"1999","unstructured":"Yao, Y.Y., Liu, Q.: A generalized decision logic in interval-set-valued information tables. In: Zhong, N., Skowron, A., Ohsuga, S. (eds.) RSFDGrC 1999. LNCS (LNAI), vol. 1711, pp. 285\u2013293. Springer, Heidelberg (1999)"},{"key":"5_CR111","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0022-0000(93)90048-2","volume":"46","author":"W Ziarko","year":"1993","unstructured":"Ziarko, W.: Variable precision rough set model. J. Comput. Syst. Sci. 46, 39\u201359 (1993)","journal-title":"J. Comput. Syst. Sci."}],"container-title":["Lecture Notes in Computer Science","Transactions on Rough Sets XX"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-53611-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T18:15:26Z","timestamp":1749665726000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-53611-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662536100","9783662536117"],"references-count":111,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-53611-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}