{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T04:01:27Z","timestamp":1749096087860,"version":"3.41.0"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319404172"},{"type":"electronic","value":"9783319404189"}],"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-319-40418-9_8","type":"book-chapter","created":{"date-parts":[[2016,7,21]],"date-time":"2016-07-21T12:57:30Z","timestamp":1469105850000},"page":"165-177","source":"Crossref","is-referenced-by-count":0,"title":["A Review on Rough Sets and Possible World Semantics for Modal Logics"],"prefix":"10.1007","author":[{"given":"Yasuo","family":"Kudo","sequence":"first","affiliation":[]},{"given":"Tetsuya","family":"Murai","sequence":"additional","affiliation":[]},{"given":"Seiki","family":"Akama","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,7,22]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Balbiani, P., Iliev, P., Vakarelov, D.: A modal logic for pawlaks approximation spaces with rough cardinality $$n$$ . Fundamenta Informaticae, 83, 451E464 (2008)","DOI":"10.3233\/FUN-2008-83406"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press (1980)","DOI":"10.1017\/CBO9780511621192"},{"key":"8_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0377-2217(00)00167-3","volume":"129","author":"S Greco","year":"2002","unstructured":"Greco, S., Matarazzo, B., S\u0142owi\u0144ski, R.: Rough set theory for multicriteria decision analysis. Eur. J. Oper. Res. 129, 1\u201347 (2002)","journal-title":"Eur. J. Oper. Res."},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"J\u00e4rvinen, J., Kondo, M., Kortelainen, J.: Logics from Galois connections. Int. J. Approximate Reasoning 49, 595 E606 (2008)","DOI":"10.1016\/j.ijar.2008.06.003"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Kondo, M.: On the structure of generalized rough sets. Inf. Sci. 176, 589\u2013E00 (2006)","DOI":"10.1016\/j.ins.2005.01.001"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Kripke, S.A.: Semantical analysis of modal logic I. Normal modal propositional calculi. Zeitschr. 1. math. Logik und Otundlagen d. Math. 9, 67\u201396 (1963)","DOI":"10.1002\/malq.19630090502"},{"key":"8_CR7","unstructured":"Kudo, Y., Murai, T.: Approximation of concepts and reasoning based on rough sets. J. Japn. Soc. Artif. Intell. 22(5), 597\u2013604 (2007) (in Japanese)"},{"key":"8_CR8","doi-asserted-by":"crossref","first-page":"1215","DOI":"10.1016\/j.ijar.2009.06.002","volume":"50","author":"Y Kudo","year":"2009","unstructured":"Kudo, Y., Murai, T., Akama, S.: A granularity-based framework of deduction, induction, and abduction. Int. J. Approximate Reasoning 50, 1215\u20131226 (2009)","journal-title":"Int. J. Approximate Reasoning"},{"issue":"1","key":"8_CR9","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. Int. J. Uncertainty Fuzziness Knowl. Based Syst. 8(1), 93\u2013118 (2000)","journal-title":"Int. J. Uncertainty Fuzziness Knowl. Based Syst."},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Liau, C.J.: Modal reasoning and rough set theory. In: Artificial Intelligence: Methodology, Systems, and Applications, LNCS, vol. 1480, pp. 317\u201330. Springer (2006)","DOI":"10.1007\/BFb0057455"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Murai, T., Miyakoshi, M., Shimbo, M.: Measure-Based Semantics for Modal Logic. In: Fuzzy Logic : State of the Art, pp. 395\u2013405. Kluwer (1993)","DOI":"10.1007\/978-94-011-2014-2_37"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Murai, T., Miyakoshi, M., Shimbo, M.: A logical foundation of graded modal operators defined by fuzzy measures. In: Proceedings of 4th FUZZ-IEEE, pp. 151\u2013156 (1995)","DOI":"10.1109\/FUZZY.1995.409674"},{"volume-title":"Incomplete Information: Rough Set Analysis","year":"1998","key":"8_CR13","unstructured":"Or\u0142owska, E. (ed.): Incomplete Information: Rough Set Analysis. Physica-Verlag, Springer (1998)"},{"key":"8_CR14","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/BF01001956","volume":"11","author":"Z Pawlak","year":"1982","unstructured":"Pawlak, Z.: Rough Sets. Int. J. Comput. Inf. Sci. 11, 341\u2013356 (1982)","journal-title":"Int. J. Comput. Inf. Sci."},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Pawlak, Z.: Rough Sets: Theoretical Aspects of Reasoning about Data. Kluwer (1991)","DOI":"10.1007\/978-94-011-3534-4"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Pawlak, Z., Skowron, A.: Rough membership functions: a tool for reasoning with uncertainty. In: Algebraic Methods in Logic and In Computer Science, vol. 28. Banach Center Publications, Institute of Mathematics, Polish Academy of Sciences, Warszawa (1993)","DOI":"10.4064\/-28-1-135-150"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Polkowski, L.: Rough sets: Mathematical Foundations. Advances in Soft Computing. Physica-Verlag (2002)","DOI":"10.1007\/978-3-7908-1776-8"},{"key":"8_CR18","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. Approximate Reasoning 40, 81\u201391 (2005)","journal-title":"Int. J. Approximate Reasoning"},{"key":"8_CR19","volume-title":"Computational Intelligence in Theory and Practice","author":"H Thiele","year":"2001","unstructured":"Thiele, H.: Generalizing the explicit concept of rough set on the basis of modal logic. In: Reusch, B., et al. (eds.) Computational Intelligence in Theory and Practice. Springer, Berlin (2001)"},{"key":"8_CR20","unstructured":"Yao, Y.Y.: Generalized rough set models. In: Polkowski, L., Skowron, A. (eds.) Rough Sets in Knowledge Discovery, pp.\u00a0286\u2013318. Physica-Verlag, Heidelberg (1998)"},{"issue":"2\u20133","key":"8_CR21","doi-asserted-by":"crossref","first-page":"289","DOI":"10.3233\/FI-1996-272314","volume":"27","author":"YY Yao","year":"1996","unstructured":"Yao, Y.Y., Li, X.: Comparison of rough-set and interval-set models for uncertain reasoning. Fundamenta Informaticae 27(2\u20133), 289\u2013298 (1996)","journal-title":"Fundamenta Informaticae"},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Yao, Y.Y., Lin, T.Y.: Generalization of rough sets using modal logics. Intell. Autom. Soft Comput. 2(2), 103\u2013120 (1996)","DOI":"10.1080\/10798587.1996.10750660"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Yao, Y.Y., Wang, S.K.M., Lin, T.Y.: A review of rough set models. In: Rough Sets and Data Mining, pp. 47\u201375. Kluwer (1997)","DOI":"10.1007\/978-1-4613-1461-5_3"},{"key":"8_CR24","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1515\/dema-1983-0319","volume":"16","author":"W Zakowski","year":"1983","unstructured":"Zakowski, W.: Approximations in the space $$(u,\\pi )$$ . Demonstratio Mathematica 16, 761\u2013769 (1983)","journal-title":"Demonstratio Mathematica"},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Zhu, W.: Generalized rough sets based on relations. Inf. Sci. 177, 4997E5011 (2007)","DOI":"10.1016\/j.ins.2007.05.037"},{"key":"8_CR26","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":["Intelligent Systems Reference Library","Towards Paraconsistent Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-40418-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T03:41:50Z","timestamp":1749008510000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-40418-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319404172","9783319404189"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-40418-9_8","relation":{},"ISSN":["1868-4394","1868-4408"],"issn-type":[{"type":"print","value":"1868-4394"},{"type":"electronic","value":"1868-4408"}],"subject":[],"published":{"date-parts":[[2016]]}}}