{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T05:20:05Z","timestamp":1780723205761,"version":"3.54.1"},"reference-count":51,"publisher":"Informa UK Limited","issue":"2-3","content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2024,7,2]]},"DOI":"10.1080\/11663081.2024.2336385","type":"journal-article","created":{"date-parts":[[2024,4,5]],"date-time":"2024-04-05T15:39:16Z","timestamp":1712331556000},"page":"223-247","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":7,"title":["A study of modal logic with semantics based on rough set theory"],"prefix":"10.1080","volume":"34","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, India"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"family":"Ranjan","sequence":"additional","affiliation":[{"name":"Department of Mathematics, Indian Institute of Technology Indore, India"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Amal","family":"Talukdar","sequence":"additional","affiliation":[{"name":"Department of Mathematics, Indian Institute of Technology Indore, India"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"301","published-online":{"date-parts":[[2024,4,5]]},"reference":[{"key":"e_1_3_2_2_1","doi-asserted-by":"crossref","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). Physica Verlag.","DOI":"10.1007\/978-3-7908-1888-8_17"},{"key":"e_1_3_2_3_1","doi-asserted-by":"publisher","DOI":"10.1080\/11663081.1999.10510969"},{"key":"e_1_3_2_4_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-540-71200-8_1","article-title":"Propositional logics from rough set theory","volume":"4374","author":"Banerjee M.","year":"2007","unstructured":"Banerjee, M., & Khan, M. A. (2007). Propositional logics from rough set theory. Transactions on Rough Sets VI, LNCS 4374, 1\u201325.","journal-title":"Transactions on Rough Sets VI"},{"key":"e_1_3_2_5_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884"},{"key":"e_1_3_2_6_1","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093634405"},{"key":"e_1_3_2_7_1","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/LXXVI.301.49"},{"key":"e_1_3_2_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00935601"},{"key":"e_1_3_2_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00374047"},{"key":"e_1_3_2_10_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008227432405"},{"key":"e_1_3_2_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04997-6"},{"key":"e_1_3_2_12_1","unstructured":"Dutta M. (2016). The non-dual normal modal logic system and its semantics in terms of covering based rough sets [Unpublished master's thesis]. Lady Brabourne College Kolkata."},{"key":"e_1_3_2_13_1","doi-asserted-by":"publisher","DOI":"10.1111\/theo.12260"},{"key":"e_1_3_2_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020314000343"},{"key":"e_1_3_2_15_1","unstructured":"Fan T. F. Hu W. C. & Liau C. J. (2001). Decision logics for knowledge representation in data mining. In Compsac \u201901: Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development (pp. 626\u2013631). IEEE Computer Society."},{"key":"e_1_3_2_16_1","doi-asserted-by":"crossref","unstructured":"Fan T. F. Liu D. R. & Tzeng G. H. (2005). Arrow decision logic. In D. \u015alezak G. Wang M. Szczuka I. D\u00fcntsch & Y. Yao (Eds.) Rsfdgrc '05: Proceedings of the 10th International Conference on Rough Sets Fuzzy Sets Data Mining and Granular Computing (Vol. 3641 pp. 651\u2013659). Springer Verlag.","DOI":"10.1007\/11548669_67"},{"key":"e_1_3_2_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(85)90046-5"},{"key":"e_1_3_2_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370285"},{"key":"e_1_3_2_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00379767"},{"key":"e_1_3_2_20_1","unstructured":"Gargov G. (1986). Two completeness theorems in the logic for data analysis [Tech. Rep. No. 581]. Institute of Computer Science Polish Academy of Sciences."},{"key":"e_1_3_2_21_1","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1040248455"},{"key":"e_1_3_2_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2008.04.005"},{"key":"e_1_3_2_23_1","unstructured":"Khan M. A. & Banerjee M. (2009). A logic for complete information systems. In C. Sossai & G. Chemello (Eds.) Ecsqaru'09: The 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty Verona Italy (Vol. 5590 pp. 829\u2013840). Springer-Verlag."},{"key":"e_1_3_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1970398.1970405"},{"key":"e_1_3_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3549075"},{"key":"e_1_3_2_26_1","doi-asserted-by":"crossref","unstructured":"Khan M. A. & Ma M. (2011). A modal logic for multiple-source tolerance approximation spaces. In M. Banerjee & A. Seth (Eds.) Icla'11: Proceedings of 4th Indian Conference on Logic and Its Applications (Vol. 6521 pp. 124\u2013 136). Springer-Verlag.","DOI":"10.1007\/978-3-642-18026-2_11"},{"issue":"4","key":"e_1_3_2_27_1","article-title":"A simple modal logic for reasoning in multigranulation rough set model","volume":"19","author":"Khan M. A.","year":"2018","unstructured":"Khan, M. A., & Patel, V. S. (2018). A simple modal logic for reasoning in multigranulation rough set model. ACM Transaction on Computational Logic, 19(4), Article 30, 23.","journal-title":"ACM Transaction on Computational Logic"},{"key":"e_1_3_2_28_1","unstructured":"Komorowski J. Pawlak Z. Polkowski L. & Skowron A. (1999). Rough sets: A tutorial. In S. K. Pal & A. Skowron (Eds.) Rough fuzzy hybridization: A new trend in decision-making (pp. 3\u201398). Springer Verlag."},{"key":"e_1_3_2_29_1","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1040248456"},{"key":"e_1_3_2_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31900-6_60"},{"key":"e_1_3_2_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2016.06.002"},{"key":"e_1_3_2_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2018.02.002"},{"key":"e_1_3_2_33_1","first-page":"318","article-title":"Contingency and non-contingency bases for normalmodal logics","volume":"9","author":"Montgomery H.","year":"1966","unstructured":"Montgomery, H., & Routley, R. (1966). Contingency and non-contingency bases for normalmodal logics. Logique et Analyse, 9, 318\u2013328.","journal-title":"Logique et Analyse"},{"key":"e_1_3_2_34_1","doi-asserted-by":"crossref","unstructured":"Or\u0142owska E. (1985a). A logic of indiscernibility relations. In G. Goos & J. Hartmanis (Eds.) Proceedings of the Symposium on Computation theory Zabr\u00f3w 1984 (Vol. 208 pp. 177\u2013186). Springer Verlag.","DOI":"10.1007\/3-540-16066-3_17"},{"key":"e_1_3_2_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370813"},{"key":"e_1_3_2_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00935602"},{"key":"e_1_3_2_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-7373(84)80023-1"},{"key":"e_1_3_2_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(84)90010-0"},{"key":"e_1_3_2_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67149-9"},{"key":"e_1_3_2_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2021.05.004"},{"key":"e_1_3_2_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-3534-4"},{"issue":"9","key":"e_1_3_2_42_1","first-page":"653","article-title":"Approximation operations in approximation space","volume":"35","author":"Pomyka\u0142a J. A.","year":"1987","unstructured":"Pomyka\u0142a, J. A. (1987). Approximation operations in approximation space. Bulletin of the Polish Academy of Sciences, 35(9\u201310), 653\u2013662.","journal-title":"Bulletin of the Polish Academy of Sciences"},{"key":"e_1_3_2_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-47815-8_8"},{"key":"e_1_3_2_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11047-018-9700-3"},{"key":"e_1_3_2_45_1","doi-asserted-by":"publisher","DOI":"10.3233\/FI-1996-272311"},{"key":"e_1_3_2_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72530-5_52"},{"key":"e_1_3_2_47_1","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":"e_1_3_2_48_1","first-page":"433","article-title":"Modal logics for knowledge representation systems","volume":"90","author":"Vakarelov D.","year":"1991","unstructured":"Vakarelov, D. (1991). Modal logics for knowledge representation systems. Theoretical Computer Science, 90, 433\u2013456.","journal-title":"Theoretical Computer Science"},{"key":"e_1_3_2_49_1","doi-asserted-by":"publisher","DOI":"10.1080\/10798587.1996.10750660"},{"key":"e_1_3_2_50_1","doi-asserted-by":"crossref","unstructured":"Yao Y. Y. & Liu Q. (1999). A generalized decision logic in interval-set-valued information tables. In Rsfdgrc '99: Proceedings of the 7th International Workshop on New Directions in Rough Sets Data mining and Granular-Soft Computing (Vol. 1711 pp. 285\u2013293). Springer-Verlag.","DOI":"10.1007\/978-3-540-48061-7_35"},{"key":"e_1_3_2_51_1","doi-asserted-by":"publisher","DOI":"10.1515\/dema-1983-0319"},{"key":"e_1_3_2_52_1","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1012429717"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/11663081.2024.2336385","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,25]],"date-time":"2024-09-25T02:46:42Z","timestamp":1727232402000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/11663081.2024.2336385"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,5]]},"references-count":51,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2024,7,2]]}},"alternative-id":["10.1080\/11663081.2024.2336385"],"URL":"https:\/\/doi.org\/10.1080\/11663081.2024.2336385","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,4,5]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tncl20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tncl20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2023-06-15","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-10-13","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-04-05","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}