{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T02:18:21Z","timestamp":1742955501399,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662458235"},{"type":"electronic","value":"9783662458242"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-45824-2_8","type":"book-chapter","created":{"date-parts":[[2014,12,1]],"date-time":"2014-12-01T11:07:51Z","timestamp":1417432071000},"page":"119-131","source":"Crossref","is-referenced-by-count":1,"title":["A Modal Logic for Non-deterministic Information Systems"],"prefix":"10.1007","author":[{"given":"Md. Aquil","family":"Khan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2-3","key":"8_CR1","doi-asserted-by":"publisher","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. Journal of Applied Non-Classical Logics\u00a09(2-3), 303\u2013328 (1999)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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.\u00a04374, pp. 1\u201325. Springer, Heidelberg (2007)"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press (2001)","DOI":"10.1017\/CBO9781107050884"},{"issue":"3","key":"8_CR4","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1006\/ijhc.2001.0468","volume":"55","author":"I. D\u00fcntsch","year":"2001","unstructured":"D\u00fcntsch, I., Gediga, G., Or\u0142owska, E.: Relational attribute systems. International Journal of Human Computer Studies\u00a055(3), 293\u2013309 (2001)","journal-title":"International Journal of Human Computer Studies"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-540-71663-1_2","volume-title":"Transactions on Rough Sets VII","author":"I. D\u00fcntsch","year":"2007","unstructured":"D\u00fcntsch, I., Gediga, G., Or\u0142owska, E.: Relational attribute systems II: Reasoning with relations in information structures. In: Peters, J.F., Skowron, A., Marek, V.W., Or\u0142owska, E., S\u0142owi\u0144ski, R., Ziarko, W.P. (eds.) Transactions on Rough Sets VII. LNCS, vol.\u00a04400, pp. 16\u201335. Springer, Heidelberg (2007)"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Demri, S., Or\u0142owska, E.: Incomplete Information: Structure, Inference, Complexity. Springer (2002)","DOI":"10.1007\/978-3-662-04997-6"},{"key":"8_CR7","first-page":"626","volume-title":"COMPSAC 2001","author":"T.F. Fan","year":"2001","unstructured":"Fan, T.F., Hu, W.C., Liau, C.J.: Decision logics for knowledge representation in data mining. In: COMPSAC 2001, pp. 626\u2013631. IEEE Computer Society, Washington, DC (2001)"},{"key":"8_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","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.\u00a03641, pp. 651\u2013659. Springer, Heidelberg (2005)"},{"key":"8_CR9","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"829","DOI":"10.1007\/978-3-642-02906-6_71","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"M.A. Khan","year":"2009","unstructured":"Khan, M.A., Banerjee, M.: A logic for complete information systems. In: Sossai, C., Chemello, G. (eds.) ECSQARU 2009. LNCS (LNAI), vol.\u00a05590, pp. 829\u2013840. Springer, Heidelberg (2009)"},{"issue":"4","key":"8_CR10","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1145\/1970398.1970405","volume":"12","author":"M.A. Khan","year":"2011","unstructured":"Khan, M.A., Banerjee, M.: Logics for information systems and their dynamic extensions. ACM Transactions on Computational Logic\u00a012(4), 29 (2011)","journal-title":"ACM Transactions on Computational Logic"},{"issue":"1","key":"8_CR11","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1016\/j.ijar.2013.07.007","volume":"55","author":"M.A. Khan","year":"2014","unstructured":"Khan, M.A., Banerjee, M., Rieke, R.: An update logic for information systems. International Journal of Approximate Reasoning\u00a055(1), 436\u2013456 (2014)","journal-title":"International Journal of Approximate Reasoning"},{"key":"8_CR12","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 Verlag, Singapore (1999)"},{"key":"8_CR13","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\u00a05, 101\u2013118 (1982)","journal-title":"Fundamenta Informaticae"},{"key":"8_CR14","series-title":"LNCS","first-page":"177","volume-title":"Proceedings of the Symposium on Computation Theory, Zabr\u00f3w 1984","author":"E. Or\u0142owska","year":"1985","unstructured":"Or\u0142owska, E.: A logic of indiscernibility relations. In: Goos, G., Hartmanis, J. (eds.) Proceedings of the Symposium on Computation Theory, Zabr\u00f3w 1984. LNCS, vol.\u00a0208, pp. 177\u2013186. Springer, Heidelberg (1985)"},{"key":"8_CR15","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/BF00370813","volume":"1","author":"E. Or\u0142owska","year":"1985","unstructured":"Or\u0142owska, E.: Logic of nondeterministic information. Studia Logica\u00a01, 91\u2013100 (1985)","journal-title":"Studia Logica"},{"key":"8_CR16","doi-asserted-by":"publisher","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. Theoretical Computer Science\u00a029, 27\u201339 (1984)","journal-title":"Theoretical Computer Science"},{"issue":"5","key":"8_CR17","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/BF01001956","volume":"11","author":"Z. Pawlak","year":"1982","unstructured":"Pawlak, Z.: Rough sets. International Journal of Computer and Information Science\u00a011(5), 341\u2013356 (1982)","journal-title":"International Journal of Computer and Information Science"},{"key":"8_CR18","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":"8_CR19","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-58095-6_12","volume-title":"Knowledge Representation and Reasoning Under Uncertainty","author":"C.M. Rauszer","year":"1994","unstructured":"Rauszer, C.M.: Rough logic for multiagent systems. In: Masuch, M., Polos, L. (eds.) Logic at Work 1992. LNCS, vol.\u00a0808, pp. 161\u2013181. Springer, Heidelberg (1994)"},{"key":"8_CR20","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\u00a027, 245\u2013253 (1996)","journal-title":"Fundamenta Informaticae"},{"key":"8_CR21","first-page":"433","volume":"90","author":"D. Vakarelov","year":"1991","unstructured":"Vakarelov, D.: Modal logics for knowledge representation systems. Theoretical Computer Science\u00a090, 433\u2013456 (1991)","journal-title":"Theoretical Computer Science"},{"key":"8_CR22","series-title":"STUDFUZZ","doi-asserted-by":"publisher","first-page":"492","DOI":"10.1007\/978-3-7908-1888-8_16","volume-title":"Incomplete Information: Rough Set Analysis","author":"D. Vakarelov","year":"1998","unstructured":"Vakarelov, D.: Information systems, similarity relations and modal logics. In: Or\u0142owska, E. (ed.) Incomplete Information: Rough Set Analysis. STUDFUZZ, vol.\u00a013, pp. 492\u2013550. Springer, Heidelberg (1998)"},{"key":"8_CR23","first-page":"286","volume-title":"Rough Sets in Knowledge Discovery","author":"Y.Y. Yao","year":"1998","unstructured":"Yao, Y.Y.: Generalized rough set models. In: Polkowski, L., Skowron, A. (eds.) Rough Sets in Knowledge Discovery, pp. 286\u2013318. Physica-Verlag, Heidelberg (1998)"},{"key":"8_CR24","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","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":"Y.Y. 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.\u00a01711, pp. 285\u2013293. Springer, Heidelberg (1999)"}],"container-title":["Lecture Notes in Computer Science","Logic and Its Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45824-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T01:04:13Z","timestamp":1676423053000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-45824-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662458235","9783662458242"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45824-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}