{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T23:45:17Z","timestamp":1743119117424,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642106453"},{"type":"electronic","value":"9783642106460"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-10646-0_8","type":"book-chapter","created":{"date-parts":[[2009,12,14]],"date-time":"2009-12-14T23:25:55Z","timestamp":1260833155000},"page":"69-76","source":"Crossref","is-referenced-by-count":1,"title":["An Algebraic Semantics for the Logic of Multiple-Source Approximation Systems"],"prefix":"10.1007","author":[{"given":"Md. Aquil","family":"Khan","sequence":"first","affiliation":[]},{"given":"Mohua","family":"Banerjee","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","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":"8_CR2","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)"},{"issue":"2","key":"8_CR3","doi-asserted-by":"publisher","first-page":"466","DOI":"10.1016\/j.ijar.2008.04.005","volume":"49","author":"M.A. Khan","year":"2008","unstructured":"Khan, M.A., Banerjee, M.: Formal reasoning with rough sets in multiple-source approximation systems. International Journal of Approximate Reasoning\u00a049(2), 466\u2013477 (2008)","journal-title":"International Journal of Approximate Reasoning"},{"key":"8_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/978-3-540-79721-0_16","volume-title":"Rough Sets and Knowledge Technology","author":"M.A. 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.\u00a05009, pp. 80\u201387. Springer, Heidelberg (2008)"},{"key":"8_CR5","unstructured":"Ono, H.: Completions of algebras and completeness of modal and substructural logics. In: Balbiani, P., Suzuki, N., Wolter, F., Zakharyaschev, Z. (eds.) Advances in Modal Logic, vol.\u00a04, pp. 335\u2013353. King\u2019s College Publications (2003)"},{"issue":"5","key":"8_CR6","doi-asserted-by":"publisher","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. International Journal of Man-Machine Studies\u00a020(5), 485\u2013500 (1984)","journal-title":"International Journal of Man-Machine Studies"},{"key":"8_CR7","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_CR8","unstructured":"Rasiowa, H.: An Algebraic Approach to Non-classical Logics. North-Holland Publishing Company, Amsterdam"},{"key":"8_CR9","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":"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_CR10","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.\u00a02, pp. 401\u2013419. CSLI Publications, Stanford (2001)"}],"container-title":["Lecture Notes in Computer Science","Rough Sets, Fuzzy Sets, Data Mining and Granular Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10646-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,13]],"date-time":"2025-02-13T20:29:39Z","timestamp":1739478579000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-10646-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642106453","9783642106460"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10646-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}