{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,28]],"date-time":"2025-05-28T04:10:52Z","timestamp":1748405452663,"version":"3.41.0"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031896095","type":"print"},{"value":"9783031896101","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-89610-1_11","type":"book-chapter","created":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T08:41:49Z","timestamp":1748335309000},"page":"151-163","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Semantics of\u00a0Basic Modal Language via\u00a0a\u00a0Rough Set Framework"],"prefix":"10.1007","author":[{"given":"Md. Aquil","family":"Khan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Ranjan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,4,26]]},"reference":[{"key":"11_CR1","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., Or\u0142owska, E., Polkowski, L. (eds.) Transactions on Rough Sets VI. LNCS, vol. 4374, pp. 1\u201325. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-71200-8_1"},{"key":"11_CR2","doi-asserted-by":"publisher","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)"},{"issue":"1","key":"11_CR3","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/BF00211187","volume":"19","author":"MA Brown","year":"1990","unstructured":"Brown, M.A.: Action and ability. J. Philos. Log. 19(1), 95\u2013114 (1990)","journal-title":"J. Philos. Log."},{"key":"11_CR4","doi-asserted-by":"publisher","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)"},{"issue":"2","key":"11_CR5","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/s11229-022-04032-y","volume":"201","author":"Y Ding","year":"2023","unstructured":"Ding, Y., Liu, J., Wang, Y.: Someone knows that local reasoning on hypergraphs is a weakly aggregative modal logic. Synthese 201(2), 46 (2023)","journal-title":"Synthese"},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1016\/0304-3975(85)90046-5","volume":"36","author":"L Farinas Del Cerro","year":"1985","unstructured":"Farinas Del Cerro, L., Or\u0142owska, E.: $${DAL}$$ - a logic for data analysis. Theor. Comput. Sci. 36, 251\u2013264 (1985)","journal-title":"Theor. Comput. Sci."},{"key":"11_CR7","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":"11_CR8","doi-asserted-by":"crossref","unstructured":"Grzyma\u0142a-Busse, J.W.,\u00a0Rzasa, W.: Local and global approximations for incomplete data. Trans. Rough Sets VIII, 21\u201334 (2008)","DOI":"10.1007\/978-3-540-85064-9_2"},{"key":"11_CR9","unstructured":"Hansen, H.H.: Monotonic modal logics. Master\u2019s thesis, Institute for Logic, Language and Computation (2003)"},{"issue":"2","key":"11_CR10","doi-asserted-by":"publisher","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."},{"issue":"4","key":"11_CR11","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1145\/1970398.1970405","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."},{"key":"11_CR12","doi-asserted-by":"publisher","unstructured":"Khan, M.A., Patel, V.S.: A formal study of a generalized rough set model based on relative approximations. In: Nguyen, H.S., Ha, Q.T., Li, T., Przyby\u0142a-Kasperek, M. (eds.) IJCRS 2018. LNCS (LNAI), vol. 11103, pp. 502\u2013510. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99368-3_39","DOI":"10.1007\/978-3-319-99368-3_39"},{"key":"11_CR13","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.ijar.2021.10.001","volume":"140","author":"MA Khan","year":"2022","unstructured":"Khan, M.A., Patel, V.S.: A formal study of a generalized rough set model based on subset approximation structure. Int. J. Approx. Reason. 140, 52\u201374 (2022)","journal-title":"Int. J. Approx. Reason."},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Khan, M.A., Ranjan, Talukdar, A.: A study of modal logic with semantics based on rough set theory. J. Appl. Non-Classical Logics 34(2-3), 223\u2013247 (2024)","DOI":"10.1080\/11663081.2024.2336385"},{"key":"11_CR15","volume-title":"Counterfactuals","author":"D Lewis","year":"1973","unstructured":"Lewis, D.: Counterfactuals. Blackwell Publishers, Oxford (1973)"},{"key":"11_CR16","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 (1996)"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Or\u0142owska, E.: Kripke semantics for knowledge representation logics. Studia Logica XLIX, 255\u2013272 (1990)","DOI":"10.1007\/BF00935602"},{"key":"11_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67149-9","volume-title":"Neighborhood Semantics for Modal Logic","author":"E Pacuit","year":"2017","unstructured":"Pacuit, E.: Neighborhood Semantics for Modal Logic. Springer, Heidelberg (2017)"},{"key":"11_CR19","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1016\/j.ijar.2021.05.004","volume":"135","author":"VS Patel","year":"2021","unstructured":"Patel, V.S., Khan, M.A., Chakraborty, M.K.: Modal systems for covering semantics and boundary operator. Int. J. Approx. Reason. 135, 110\u2013126 (2021)","journal-title":"Int. J. Approx. Reason."},{"key":"11_CR20","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":"11_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-662-47815-8_8","volume-title":"Transactions on Rough Sets XIX","author":"P Samanta","year":"2015","unstructured":"Samanta, P., Chakraborty, M.K.: Interface of rough set systems and modal logics: a survey. In: Peters, J.F., Skowron, A., \u015al\u0229zak, D., Nguyen, H.S., Bazan, J.G. (eds.) Transactions on Rough Sets XIX. LNCS, vol. 8988, pp. 114\u2013137. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-47815-8_8"},{"key":"11_CR22","doi-asserted-by":"publisher","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":"11_CR23","doi-asserted-by":"publisher","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","Logic and Its Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-89610-1_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T08:41:55Z","timestamp":1748335315000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-89610-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031896095","9783031896101"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-89610-1_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"26 April 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Indian Conference on Logic and Its Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Kolkata","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"India","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 February 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 February 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icla2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/logicindia.org\/icla\/icla2025","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}