{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,26]],"date-time":"2026-07-26T01:31:19Z","timestamp":1785029479583,"version":"3.55.0"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2010,12,3]],"date-time":"2010-12-03T00:00:00Z","timestamp":1291334400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2011,10]]},"DOI":"10.1007\/s10992-010-9163-1","type":"journal-article","created":{"date-parts":[[2010,12,2]],"date-time":"2010-12-02T05:58:54Z","timestamp":1291269534000},"page":"663-692","source":"Crossref","is-referenced-by-count":12,"title":["A Logic for Multiple-source Approximation Systems with Distributed Knowledge Base"],"prefix":"10.1007","volume":"40","author":[{"given":"Md. Aquil","family":"Khan","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mohua","family":"Banerjee","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2010,12,3]]},"reference":[{"key":"9163_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. (1998). Axiomatization of logics based on Kripke models with relative accessibility relations. In E. Or\u0142owska (Ed.), Incomplete information: Rough set analysis (pp. 553\u2013578). Heidelberg: Physica-Verlag."},{"issue":"2\u20133","key":"9163_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. (1999). A hierarchy of modal logics with relative accessibility relations. Journal of Applied Non-Classical Logics, 9(2\u20133), 303\u2013328.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9163_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-540-71200-8_1","volume":"6","author":"M Banerjee","year":"2007","unstructured":"Banerjee, M., & Khan, M. A. (2007). Propositional logics from rough set theory. Transactions on Rough Sets, 6, 1\u201325.","journal-title":"Transactions on Rough Sets"},{"key":"9163_CR4","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal logic. Cambridge University Press.","DOI":"10.1017\/CBO9781107050884"},{"key":"9163_CR5","unstructured":"Chang, C. C., & Keisler, H. J. (1992). Model theory. Elsevier Science Publications B.V."},{"key":"9163_CR6","doi-asserted-by":"crossref","unstructured":"Chellas, B. F. (1980). Modal logic. Cambridge University Press.","DOI":"10.1017\/CBO9780511621192"},{"key":"9163_CR7","doi-asserted-by":"crossref","unstructured":"Demri, S., & Or\u0142owska, E. (2002). Incomplete information: Structure, inference, complexity. Springer.","DOI":"10.1007\/978-3-662-04997-6"},{"key":"9163_CR8","doi-asserted-by":"crossref","unstructured":"Fagin, R., Halpern, J. Y., Moses, Y., & Vardi, M. Y. (1995). Reasoning about knowledge. The MIT.","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"9163_CR9","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. (1997). DAL\u2014a logic for data analysis. Theoretical Computer Science, 36, 251\u2013264.","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"9163_CR10","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/j.ijar.2007.05.018","volume":"49","author":"S Greco","year":"2008","unstructured":"Greco, S., Matarazzo, B., & S\u0142owi\u0144ski, R. (2008). Parametrized rough set model using rough membership and Bayesian confirmation measures. International Journal of Approximate Reasoning, 49(2), 285\u2013300.","journal-title":"International Journal of Approximate Reasoning"},{"key":"9163_CR11","first-page":"21","volume":"8","author":"JW Grzyma\u0142a-Busse","year":"2008","unstructured":"Grzyma\u0142a-Busse, J. W., & Rzasa, W. (2008). Local and global approximations for incomplete data. Transactions on Rough Sets, 8, 21\u201334.","journal-title":"Transactions on Rough Sets"},{"issue":"3","key":"9163_CR12","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. (1990). Knowledge and common knowledge in a distributed environment. Journal of the ACM, 37(3), 549\u2013587.","journal-title":"Journal of the ACM"},{"key":"9163_CR13","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. (1996). A new introduction to modal logic. London: Routledge."},{"key":"9163_CR14","first-page":"167","volume-title":"Proc. RSKD\u201993, Canada","author":"J Katzberg","year":"1994","unstructured":"Katzberg, J., & Ziarko, W. (1994). Variable precision rough sets with asymmetric bounds. In W. Ziarko (Ed.), Proc. RSKD\u201993, Canada (pp. 167\u2013177). London: Springer-Verlag."},{"issue":"2","key":"9163_CR15","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. (2008). Formal reasoning with rough sets in multiple-source approximation systems. International Journal of Approximate Reasoning, 49(2), 466\u2013477.","journal-title":"International Journal of Approximate Reasoning"},{"key":"9163_CR16","doi-asserted-by":"crossref","unstructured":"Khan, M. A., & Banerjee, M. (2008). Multiple-source approximation systems: Membership functions and indiscernibility. In G. Wang, et al. (Eds.), Proc. RSKT\u201908, China. LNAI (Vol. 5009, pp. 80\u201387). Springer-Verlag.","DOI":"10.1007\/978-3-540-79721-0_16"},{"issue":"1","key":"9163_CR17","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1142\/S0218488500000071","volume":"8","author":"CJ Liau","year":"2000","unstructured":"Liau, C. J. (2000). An overview of rough set semantics for modal and quantifier logics. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 8(1), 93\u2013118.","journal-title":"International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems"},{"key":"9163_CR18","volume-title":"First order mathematical logic","author":"A Margaris","year":"1966","unstructured":"Margaris, A. (1966). First order mathematical logic. London: Blaisdell Publishing Company."},{"key":"9163_CR19","unstructured":"Murakami, Y. (2005). Modal logic of partitions. Ph.D. thesis, University Graduate School, Indiana University."},{"key":"9163_CR20","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/BF00935602","volume":"49","author":"E Or\u0142owska","year":"1990","unstructured":"Or\u0142owska, E. (1990). Kripke semantics for knowledge representation logics. Studia Logica, 49, 255\u2013272.","journal-title":"Studia Logica"},{"issue":"5","key":"9163_CR21","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. (1984). Expressive power of knowledge representation systems. International Journal of Man-Machine Studies, 20(5), 485\u2013500.","journal-title":"International Journal of Man-Machine Studies"},{"issue":"2\u20133","key":"9163_CR22","first-page":"221","volume":"59","author":"P Pagliani","year":"2004","unstructured":"Pagliani, P. (2004). Pretopologies and dynamic spaces. Fundamenta Informaticae, 59(2\u20133), 221\u2013239.","journal-title":"Fundamenta Informaticae"},{"issue":"5","key":"9163_CR23","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/BF01001956","volume":"11","author":"Z Pawlak","year":"1982","unstructured":"Pawlak, Z. (1982). Rough sets. International Journal of Computer and Information Science, 11(5), 341\u2013356.","journal-title":"International Journal of Computer and Information Science"},{"key":"9163_CR24","volume-title":"Rough sets. Theoretical aspects of reasoning about data","author":"Z Pawlak","year":"1991","unstructured":"Pawlak, Z. (1991). Rough sets. Theoretical aspects of reasoning about data. Dordrecht: Kluwer Academic Publishers."},{"key":"9163_CR25","first-page":"234","volume-title":"Proc. ISMIS\u201989, Charlotte, N. C","author":"H Rasiowa","year":"1989","unstructured":"Rasiowa, H., & Marek, W. (1989). On reaching consensus by groups of intelligent agents. In Z. W. Ras (Ed.), Proc. ISMIS\u201989, Charlotte, N. C. (pp. 234\u2013243). North-Holland, New York."},{"key":"9163_CR26","doi-asserted-by":"crossref","unstructured":"Rauszer, C. M. (1994). Rough logic for multiagent systems. In M. Masuch & L. Polos (Eds.), Knowledge representation and reasoning under uncertainty. LNAI (Vol. 808, pp. 161\u2013181). Springer-Verlag.","DOI":"10.1007\/3-540-58095-6_12"},{"key":"9163_CR27","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. (1996). Tolerance approximation spaces. Fundamenta Informaticae, 27, 245\u2013253.","journal-title":"Fundamenta Informaticae"},{"key":"9163_CR28","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/j.ijar.2004.11.004","volume":"40","author":"D \u015ale\u0327zak","year":"2005","unstructured":"\u015ale\u0327zak, D., & Ziarko, W. (2005). The investigation of the Bayesian rough set model. International Journal of Approximate Reasoning, 40, 81\u201391.","journal-title":"International Journal of Approximate Reasoning"},{"key":"9163_CR29","unstructured":"Vakarelov, D. (1987). Abstract characterization of some knowledge representation systems and the logic NIL of nondeterministic information. In P. Jorrand & V. Sgurev (Eds.), Artificial intelligence II (pp. 255\u2013260). North\u2013Holland."},{"key":"9163_CR30","first-page":"433","volume":"90","author":"D Vakarelov","year":"1991","unstructured":"Vakarelov, D. (1991). Modal logics for knowledge representation systems. Theoretical Computer Science, 90, 433\u2013456.","journal-title":"Theoretical Computer Science"},{"key":"9163_CR31","unstructured":"Wong, S. K. M. (1998). A rough set model for reasoning about knowledge. In L. Polkowski & A. Skowron (Eds.), Rough sets in knowledge discovery 1: Methodology and applications (pp. 276\u2013285). Physica-Verlag."},{"issue":"2","key":"9163_CR32","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/j.ijar.2007.05.019","volume":"49","author":"YY Yao","year":"2008","unstructured":"Yao, Y. Y. (2008). Probabilistic rough set approximations. International Journal of Approximate Reasoning, 49(2), 255\u2013271.","journal-title":"International Journal of Approximate Reasoning"},{"key":"9163_CR33","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/978-1-4613-1461-5_3","volume-title":"Rough sets and data mining: Analysis for imprecise data","author":"YY Yao","year":"1997","unstructured":"Yao, Y. Y., Wong, S. K. M., & Lin, T. Y. (1997). A review of rough set models. In T. Y. Lin & C. N. Cercone (Eds.), Rough sets and data mining: Analysis for imprecise data (pp. 47\u201375). Boston: Kluwer."},{"issue":"2","key":"9163_CR34","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1016\/j.ijar.2007.06.014","volume":"49","author":"W Ziarko","year":"2008","unstructured":"Ziarko, W. (2008). Probabilistic approach to rough sets. International Journal of Approximate Reasoning, 49(2), 272\u2013284.","journal-title":"International Journal of Approximate Reasoning"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-010-9163-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-010-9163-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-010-9163-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T10:57:37Z","timestamp":1740740257000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-010-9163-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12,3]]},"references-count":34,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2011,10]]}},"alternative-id":["9163"],"URL":"https:\/\/doi.org\/10.1007\/s10992-010-9163-1","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,12,3]]}}}