{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,26]],"date-time":"2026-07-26T01:31:21Z","timestamp":1785029481613,"version":"3.55.0"},"reference-count":38,"publisher":"Association for Computing Machinery (ACM)","issue":"4","funder":[{"name":"National Board for Higher Mathematics (NBHM) India","award":["02011\/13\/2023 NBHM (R.P)\/R&D II\/5863"],"award-info":[{"award-number":["02011\/13\/2023 NBHM (R.P)\/R&D II\/5863"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Comput. Logic"],"published-print":{"date-parts":[[2025,10,31]]},"abstract":"<jats:p>Motivated by rough set theory, we introduce a novel semantics for the basic modal language based on the possibility lower approximation operator of subset approximation structures. The study investigates axiomatization, expressiveness, and invariance results related to this semantics. From a rough set perspective, it provides a formal language for reasoning about the possibility lower approximation operator. Additionally, the axiomatization results obtained here provide characterizing properties of the operator.<\/jats:p>","DOI":"10.1145\/3750045","type":"journal-article","created":{"date-parts":[[2025,7,22]],"date-time":"2025-07-22T22:39:47Z","timestamp":1753223987000},"page":"1-50","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["A Semantics for Modal Language Using a Rough Set Model Based on Subset Approximation Structure"],"prefix":"10.1145","volume":"26","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9235-8613","authenticated-orcid":false,"given":"Md Aquil","family":"Khan","sequence":"first","affiliation":[{"name":"Department of Mathematics, Indian Institute of Technology Indore, Indore, India"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-2047-2154","authenticated-orcid":false,"family":"Ranjan","sequence":"additional","affiliation":[{"name":"Department of Mathematics, Indian Institute of Technology Indore, Indore, India"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,9]]},"reference":[{"key":"e_1_3_1_2_2","doi-asserted-by":"publisher","DOI":"10.5555\/1768306.1768308"},{"key":"e_1_3_1_3_2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"Blackburn P.","year":"2001","unstructured":"P. Blackburn, M. de Rijke, and Y. Venema. 2001. Modal Logic. Cambridge University Press."},{"key":"e_1_3_1_4_2","doi-asserted-by":"publisher","DOI":"10.1016\/s0020-0255(97)10046-9"},{"issue":"1","key":"e_1_3_1_5_2","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/BF00211187","article-title":"Action and ability","volume":"19","author":"Brown M. A.","year":"1990","unstructured":"M. A. Brown. 1990. Action and ability. Journal of Philosophical Logic 19, 1 (1990), 95\u2013114.","journal-title":"Journal of Philosophical Logic"},{"key":"e_1_3_1_6_2","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0168-0072(95)00016-X","article-title":"Topological reasoning and the logic of knowledge","volume":"78","author":"Dabrowski A.","year":"1996","unstructured":"A. Dabrowski, L. S. Moss, and R. Parikh. 1996. Topological reasoning and the logic of knowledge. Annals of Pure and Applied Logic 78 (1996), 73\u2013110.","journal-title":"Annals of Pure and Applied Logic"},{"key":"e_1_3_1_7_2","doi-asserted-by":"publisher","DOI":"10.5555\/560122"},{"key":"e_1_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-022-04032-y"},{"key":"e_1_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.1111\/theo.12260"},{"issue":"1","key":"e_1_3_1_10_2","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1017\/S1755020314000343","article-title":"Contingency and knowing whether","volume":"8","author":"Fan J.","year":"2015","unstructured":"J. Fan, Y. Wang, and H. Van Ditmarsch. 2015. Contingency and knowing whether. The Review of Symbolic Logic 8, 1 (2015), 75\u2013107.","journal-title":"The Review of Symbolic Logic"},{"key":"e_1_3_1_11_2","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/0304-3975(85)90046-5","article-title":"\\({DAL}\\)  \u2013 a logic for data analysis","volume":"36","author":"Cerro L. Farinas Del","year":"1985","unstructured":"L. Farinas Del Cerro and E. Or\u0142owska. 1985. \\({DAL}\\) \u2013 a logic for data analysis. Theoretical Computer Science 36 (1985), 251\u2013264.","journal-title":"Theoretical Computer Science"},{"key":"e_1_3_1_12_2","volume-title":"Two Completeness Theorems in the Logic for Data Analysis","author":"Gargov G.","year":"1986","unstructured":"G. Gargov. 1986. Two Completeness Theorems in the Logic for Data Analysis. Technical Report 581. Institute of Computer Science, Polish Academy of Sciences, Warsaw."},{"key":"e_1_3_1_13_2","first-page":"21","article-title":"Local and global approximations for incomplete data","author":"Grzyma\u0142a-Busse J. W.","year":"2008","unstructured":"J. W. Grzyma\u0142a-Busse and W. Rzasa. 2008. Local and global approximations for incomplete data. Transactions on Rough Sets VIII (2008), 21\u201334.","journal-title":"Transactions on Rough Sets"},{"key":"e_1_3_1_14_2","volume-title":"Monotonic Modal Logics","author":"Hansen H. H.","year":"2003","unstructured":"H. H. Hansen. 2003. Monotonic Modal Logics. Master\u2019s thesis. Institute for Logic, Language and Computation."},{"issue":"2","key":"e_1_3_1_15_2","doi-asserted-by":"crossref","first-page":"466","DOI":"10.1016\/j.ijar.2008.04.005","article-title":"Formal reasoning with rough sets in multiple-source approximation systems","volume":"49","author":"Khan M. A.","year":"2008","unstructured":"M. A. Khan and M. Banerjee. 2008. Formal reasoning with rough sets in multiple-source approximation systems. International Journal of Approximate Reasoning 49, 2 (2008), 466\u2013477.","journal-title":"International Journal of Approximate Reasoning"},{"key":"e_1_3_1_16_2","first-page":"502","volume-title":"IJCRS 2018","author":"Khan M. A.","year":"2018","unstructured":"M. A. Khan and V. S. Patel. 2018. A formal study of a generalized rough set model based on relative approximations. In IJCRS 2018. H. Nguyen, Q.T. Ha, T. Li, and M. Przyby\u0142a-Kasperek (Eds.), LNAI, Vol. 11103, Springer-Verlag, 502\u2013510."},{"issue":"4","key":"e_1_3_1_17_2","first-page":"23","article-title":"A simple modal logic for reasoning in multigranulation rough set model","volume":"19","author":"Khan M. A.","year":"2018","unstructured":"M. A. Khan and V. S. Patel. 2018. A simple modal logic for reasoning in multigranulation rough set model. ACM Transactions on Computational Logic 19, 4, Article 30 (2018), 23.","journal-title":"ACM Transactions on Computational Logic"},{"key":"e_1_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2021.10.001"},{"key":"e_1_3_1_19_2","doi-asserted-by":"publisher","DOI":"10.1080\/11663081.2024.2336385"},{"key":"e_1_3_1_20_2","first-page":"3","volume-title":"Rough Fuzzy Hybridization: A New Trend in Decision-Making","author":"Komorowski J.","year":"1999","unstructured":"J. Komorowski, Z. Pawlak, L. Polkowski, and A. Skowron. 1999. Rough sets: A tutorial. In Rough Fuzzy Hybridization: A New Trend in Decision-Making. S. K. Pal and A. Skowron (Eds.), Springer-Verlag, Singapore, 3\u201398."},{"key":"e_1_3_1_21_2","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/S0020-0255(98)10019-1","article-title":"Rough set approach to incomplete information systems","volume":"112","author":"Kryszkiewicz M.","year":"1998","unstructured":"M. Kryszkiewicz. 1998. Rough set approach to incomplete information systems. Information Sciences 112 (1998), 39\u201349.","journal-title":"Information Sciences"},{"key":"e_1_3_1_22_2","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/S0020-0255(98)10065-8","article-title":"Rules in incomplete information systems","volume":"113","author":"Kryszkiewicz M.","year":"1999","unstructured":"M. Kryszkiewicz. 1999. Rules in incomplete information systems. Information Sciences 113 (1999), 271\u2013292.","journal-title":"Information Sciences"},{"key":"e_1_3_1_23_2","volume-title":"Counterfactuals","author":"Lewis D.","year":"1973","unstructured":"D. Lewis. 1973. Counterfactuals. Blackwell Publishers, Oxford."},{"key":"e_1_3_1_24_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0218-4885(00)00007-1"},{"key":"e_1_3_1_25_2","first-page":"202","volume-title":"Proceedings of the 4th International Workshop on Rough Sets and Fuzzy Sets and Machine Discovery","author":"Lin T. Y.","year":"1996","unstructured":"T. Y. Lin and Y. Y. Yao. 1996. Neighborhoods system: Measure, probability and belief functions. In Proceedings of the 4th International Workshop on Rough Sets and Fuzzy Sets and Machine Discovery, 202\u2013207."},{"key":"e_1_3_1_26_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2016.06.002"},{"key":"e_1_3_1_27_2","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/BF00935602","article-title":"Kripke semantics for knowledge representation logics","author":"Or\u0142owska E.","year":"1990","unstructured":"E. Or\u0142owska. 1990. Kripke semantics for knowledge representation logics. Studia Logica XLIX (1990), 255\u2013272.","journal-title":"Studia Logica"},{"key":"e_1_3_1_28_2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-67149-9","volume-title":"Neighborhood Semantics for Modal Logic","author":"Pacuit E.","year":"2017","unstructured":"E. Pacuit. 2017. Neighborhood Semantics for Modal Logic. Springer International Publishing."},{"key":"e_1_3_1_29_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2021.05.004"},{"key":"e_1_3_1_30_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01001956"},{"key":"e_1_3_1_31_2","volume-title":"Rough Sets. Theoretical Aspects of Reasoning about Data","author":"Pawlak Z.","year":"1991","unstructured":"Z. Pawlak. 1991. Rough Sets. Theoretical Aspects of Reasoning about Data. Kluwer Academic Publishers, Dordrecht."},{"issue":"9","key":"e_1_3_1_32_2","first-page":"653","article-title":"Approximation operations in approximation space","volume":"35","author":"Pomyka\u0142a J. A.","year":"1987","unstructured":"J. A. Pomyka\u0142a. 1987. Approximation operations in approximation space. Bulletin of the Polish Academy of Sciences, Mathematics 35, 9\u201310 (1987), 653\u2013662.","journal-title":"Bulletin of the Polish Academy of Sciences, Mathematics"},{"key":"e_1_3_1_33_2","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1007\/978-3-662-47815-8_8","volume-title":"Transactions on Rough Sets XIX","author":"Samanta P.","year":"2015","unstructured":"P. Samanta and M. K. Chakraborty. 2015. Interface of rough set systems and modal logics: A survey. In Transactions on Rough Sets XIX, Vol. 77. Springer, 114\u2013137."},{"key":"e_1_3_1_34_2","doi-asserted-by":"crossref","first-page":"245","DOI":"10.3233\/FI-1996-272311","article-title":"Tolerance approximation spaces","volume":"27","author":"Skowron A.","year":"1996","unstructured":"A. Skowron and J. Stepaniuk. 1996. Tolerance approximation spaces. Fundamenta Informaticae 27 (1996), 245\u2013253.","journal-title":"Fundamenta Informaticae"},{"key":"e_1_3_1_35_2","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/j.ijar.2004.11.004","article-title":"The investigation of the Bayesian rough set model","volume":"40","author":"Slezak Dominik","year":"2005","unstructured":"Dominik Slezak and Wojciech Ziarko. 2005. The investigation of the Bayesian rough set model. International Journal of Approximate Reasoning 40 (2005), 81\u201391.","journal-title":"International Journal of Approximate Reasoning"},{"key":"e_1_3_1_36_2","first-page":"255","volume-title":"Artificial Intelligence II","author":"Vakarelov D.","year":"1987","unstructured":"D. Vakarelov. 1987. Abstract characterization of some knowledge representation systems and the logic \\({NIL}\\) of nondeterministic information. In Artificial Intelligence II. Ph. Jorrand and V. Sgurev (Eds.), North\u2013Holland, 255\u2013260."},{"key":"e_1_3_1_37_2","first-page":"217","volume-title":"Modal Logics of Space","author":"van Benthem J.","year":"2007","unstructured":"J. van Benthem and G. Bezhanishvili. 2007. Modal Logics of Space. Springer Netherlands, 217\u2013298."},{"key":"e_1_3_1_38_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2013.07.007"},{"key":"e_1_3_1_39_2","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(93)90048-2"}],"container-title":["ACM Transactions on Computational Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3750045","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,1]],"date-time":"2025-09-01T13:43:26Z","timestamp":1756734206000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3750045"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9]]},"references-count":38,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,10,31]]}},"alternative-id":["10.1145\/3750045"],"URL":"https:\/\/doi.org\/10.1145\/3750045","relation":{},"ISSN":["1529-3785","1557-945X"],"issn-type":[{"value":"1529-3785","type":"print"},{"value":"1557-945X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,9]]},"assertion":[{"value":"2024-10-09","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-07-02","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-09-01","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}