{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T11:37:39Z","timestamp":1773920259728,"version":"3.50.1"},"publisher-location":"Cham","reference-count":37,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032215390","type":"print"},{"value":"9783032215406","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"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":[[2026]]},"DOI":"10.1007\/978-3-032-21540-6_6","type":"book-chapter","created":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T06:50:13Z","timestamp":1773903013000},"page":"86-105","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Modal Logic for\u00a0Possibilistic Reasoning with\u00a0Fuzzy Formal Contexts"],"prefix":"10.1007","author":[{"given":"Prosenjit","family":"Howlader","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Churn-Jung","family":"Liau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,3,20]]},"reference":[{"key":"6_CR1","series-title":"Studies in Computational Intelligence","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-319-74681-4_6","volume-title":"Interactions Between Computational Intelligence and Mathematics","author":"L Antoni","year":"2018","unstructured":"Antoni, L., Kraj\u010di, S., Kr\u00eddlo, O.: On fuzzy generalizations of concept lattices. In: K\u00f3czy, L.T., Medina, J. (eds.) Interactions Between Computational Intelligence and Mathematics. SCI, vol. 758, pp. 79\u2013103. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-74681-4_6"},{"issue":"1\u20133","key":"6_CR2","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/j.apal.2003.01.001","volume":"128","author":"R Belohl\u00e1vek","year":"2004","unstructured":"Belohl\u00e1vek, R.: Concept lattices and order in fuzzy logic. Ann. Pure Appl. Logic 128(1\u20133), 277\u2013298 (2004)","journal-title":"Ann. Pure Appl. Logic"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-642-21881-1_4","volume-title":"Rough Sets, Fuzzy Sets, Data Mining and Granular Computing","author":"R Belohlavek","year":"2011","unstructured":"Belohlavek, R.: What is a fuzzy concept lattice? II. In: Kuznetsov, S.O., \u015al\u0119zak, D., Hepting, D.H., Mirkin, B.G. (eds.) RSFDGrC 2011. LNCS (LNAI), vol. 6743, pp. 19\u201326. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-21881-1_4"},{"key":"6_CR4","unstructured":"Belohl\u00e1vek, R., Vychodil, V.: What is a fuzzy concept lattice? In: Belohl\u00e1vek, R., Sn\u00e1sel, V. (eds.) Proceedings of the International Workshop on Concept Lattices and their Applications (CLA). CEUR Workshop Proceedings, vol.\u00a0162. CEUR-WS.org (2005)"},{"issue":"3","key":"6_CR5","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1305\/ndjfl\/1063372199","volume":"42","author":"K Bimb\u00f3","year":"2001","unstructured":"Bimb\u00f3, K., Dunn, M.: Four-valued logic. Notre Dame J. Formal Logic 42(3), 171\u2013192 (2001)","journal-title":"Notre Dame J. Formal Logic"},{"key":"6_CR6","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/978-3-319-95312-0_17","volume-title":"Fuzzy Information Processing","author":"A Brito","year":"2018","unstructured":"Brito, A., Barros, L., Laureano, E., Bertato, F., Coniglio, M.: Fuzzy formal concept analysis. In: Barreto, G.A., Coelho, R. (eds.) NAFIPS 2018. CCIS, vol. 831, pp. 192\u2013205. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-95312-0_17"},{"key":"6_CR7","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-319-91476-3_23","volume-title":"Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations","author":"P Codara","year":"2018","unstructured":"Codara, P., Esteva, F., Godo, L., Valota, D.: Connecting systems of mathematical fuzzy logic with fuzzy concept lattices. In: Medina, J., et al. (eds.) IPMU 2018. CCIS, vol. 854, pp. 275\u2013286. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-91476-3_23"},{"key":"6_CR8","unstructured":"Codara, P., Valota, D.: On G\u00f6del algebras of concepts. In: Hansen, H., Murray, S., Sadrzadeh, M., Zeevat, H. (eds.) 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Revised Selected Papers. LNCS, vol. 10148, pp. 251\u2013262. Springer, Heidelberg (2015)"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-662-52921-8_10","volume-title":"Logic, Language, Information, and Computation","author":"W Conradie","year":"2016","unstructured":"Conradie, W., Frittella, S., Palmigiano, A., Piazzai, M., Tzimoulis, A., Wijnberg, N.M.: Categories: how i learned to stop worrying and love two sorts. In: V\u00e4\u00e4n\u00e4nen, J., Hirvonen, \u00c5., de Queiroz, R. (eds.) WoLLIC 2016. LNCS, vol. 9803, pp. 145\u2013164. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-52921-8_10"},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"167","DOI":"10.4204\/EPTCS.251.12","volume":"251","author":"W Conradie","year":"2017","unstructured":"Conradie, W., Frittella, S., Palmigiano, A., Piazzai, M., Tzimoulis, A., Wijnberg, N.: Toward an epistemic-logical theory of categorization. Electron. Proc. Theoret. Comput. Sci. (EPTCS) 251, 167\u2013186 (2017)","journal-title":"Electron. Proc. Theoret. Comput. Sci. (EPTCS)"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Dubois, D., Lang, J., Prade, H.: Possibilistic logic. In: Gabbay, D., Hogger, C., Robinson, J. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, Vol 3 : Nonmonotonic Reasoning and Uncertain Reasoning, pp. 439\u2013513. Clarendon Press, Oxford (1994)","DOI":"10.1093\/oso\/9780198537472.003.0009"},{"key":"6_CR12","unstructured":"Dubois, D., Prade, H.: An introduction to possibilistic and fuzzy logics. In: Smets, P., Mamdani, A., Dubois, D., Prade, H. (eds.) Non-Standard Logics for Automated Reasoning, pp. 253\u2013286. Academic Press (1988)"},{"issue":"1\u20134","key":"6_CR13","first-page":"195","volume":"75","author":"D Dubois","year":"2007","unstructured":"Dubois, D., de Saint-Cyr, F.D., Prade, H.: A possibility-theoretic view of formal concept analysis. Fund. Inform. 75(1\u20134), 195\u2013213 (2007)","journal-title":"Fund. Inform."},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"D\u00fcntsch, I., Gediga, G.: Modal-style operators in qualitative data analysis. In: Kumar, V., et\u00a0al. (eds.) Proceedings of the 2002 IEEE International Conference on Data Mining, pp. 155\u2013162. IEEE Computer Society (2002)","DOI":"10.1109\/ICDM.2002.1183898"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/3-540-54659-6_66","volume-title":"Symbolic and Quantitative Approaches to Uncertainty","author":"LF del Cerro","year":"1991","unstructured":"del Cerro, L.F., Herzig, A.: A modal analysis of possibility theory. In: Kruse, R., Siegel, P. (eds.) ECSQARU 1991. LNCS, vol. 548, pp. 58\u201362. Springer, Heidelberg (1991). https:\/\/doi.org\/10.1007\/3-540-54659-6_66"},{"key":"6_CR16","unstructured":"Ganter, B., Wille, R., Franzke, C.: Formal Concept Analysis: Mathematical Foundations, 1st edn. Springer-Verlag (1997)"},{"key":"6_CR17","doi-asserted-by":"publisher","unstructured":"Gargov, G., Passy, S., Tinchev, T.: Modal environment for Boolean speculations. In: Skordev, D. (ed.) Mathematical Logic and Its Applications, pp. 253\u2013263. Springer, Boston (1987). https:\/\/doi.org\/10.1007\/978-1-4613-0897-3_17","DOI":"10.1007\/978-1-4613-0897-3_17"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"H\u00e1jek, P.: Metamathematics of Fuzzy Logic. Kluwer Academic Publisher (1998)","DOI":"10.1007\/978-94-011-5300-3"},{"issue":"5","key":"6_CR19","doi-asserted-by":"publisher","first-page":"718","DOI":"10.1093\/jigpal\/jzy079","volume":"27","author":"C Hartonas","year":"2019","unstructured":"Hartonas, C.: Game-theoretic semantics for non-distributive logics. Logic J. IGPL 27(5), 718\u2013742 (2019)","journal-title":"Logic J. IGPL"},{"issue":"2","key":"6_CR20","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1080\/11663081.2018.1547515","volume":"29","author":"C Hartonas","year":"2019","unstructured":"Hartonas, C.: Lattice logic as a fragment of (2-sorted) residuated modal logic. J. Appl. Non-Class. Logics 29(2), 152\u2013170 (2019)","journal-title":"J. Appl. Non-Class. Logics"},{"key":"6_CR21","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/j.ijar.2022.11.015","volume":"153","author":"P Howlader","year":"2023","unstructured":"Howlader, P., Banerjee, M.: A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts. Int. J. Approximate Reasoning 153, 115\u2013143 (2023)","journal-title":"Int. J. Approximate Reasoning"},{"key":"6_CR22","doi-asserted-by":"publisher","unstructured":"Howlader, P., Liau, C.: Two-sorted modal logics for formal and rough concepts. In: Campagner, A., et\u00a0al. (eds.) Rough Sets. LNCS, vol. 14481, pp. 154\u2013169. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-50959-9_11","DOI":"10.1007\/978-3-031-50959-9_11"},{"key":"6_CR23","unstructured":"Howlader, P., Liau, C.: A modal logic for possibilistic reasoning with fuzzy formal contexts (2025). https:\/\/arxiv.org\/abs\/2512.24980"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Howlader, P., Liau, C.: On the logical and algebraic aspects of reasoning with formal contexts. ACM Trans. Comput. Logic 26(3) (2025)","DOI":"10.1145\/3733832"},{"issue":"2\u20133","key":"6_CR25","first-page":"191","volume":"173","author":"I Leu\u015ftean","year":"2020","unstructured":"Leu\u015ftean, I., Moang\u0103, N., \u015eerb\u0103nu\u0163\u0103, T.: A many-sorted polyadic modal logic. Fund. Inform. 173(2\u20133), 191\u2013215 (2020)","journal-title":"Fund. Inform."},{"key":"6_CR26","doi-asserted-by":"publisher","first-page":"100644","DOI":"10.1016\/j.jlamp.2021.100644","volume":"120","author":"I Leu\u015ftean","year":"2021","unstructured":"Leu\u015ftean, I., Moang\u0103, N., \u015eerb\u0103nu\u0163\u0103, T.: Many-sorted hybrid modal languages. J. Logical Algebraic Meth. Program. 120, 100644 (2021)","journal-title":"J. Logical Algebraic Meth. Program."},{"key":"6_CR27","unstructured":"Liau, C., Lin, I.: Quantitative modal logic and possibilistic reasoning. In: Neumann, B. (ed.) Proceedings of the 10th ECAI, pp. 43\u201347. Wiley (1992)"},{"issue":"4","key":"6_CR28","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1016\/0888-613X(93)90019-A","volume":"9","author":"C Liau","year":"1993","unstructured":"Liau, C., Lin, I.: Proof methods for reasoning about possibility and necessity. Int. J. Approximate Reason. 9(4), 327\u2013364 (1993)","journal-title":"Int. J. Approximate Reason."},{"issue":"1\u20132","key":"6_CR29","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/S0004-3702(96)00013-6","volume":"88","author":"C Liau","year":"1996","unstructured":"Liau, C., Lin, I.: Possibilistic reasoning - a mini-survey and uniform semantics. Artif. Intell. 88(1\u20132), 163\u2013193 (1996)","journal-title":"Artif. Intell."},{"key":"6_CR30","doi-asserted-by":"publisher","unstructured":"Ognjanovic, Z., Raskovic, M., Markovic, Z.: Probability Logics: Probability-Based Formalization of Uncertain Reasoning. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47012-2","DOI":"10.1007\/978-3-319-47012-2"},{"issue":"5","key":"6_CR31","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/BF01001956","volume":"11","author":"Z Pawlak","year":"1982","unstructured":"Pawlak, Z.: Rough sets. Int. J. Comput. Inform. Sci. 11(5), 341\u2013356 (1982)","journal-title":"Int. J. Comput. Inform. Sci."},{"key":"6_CR32","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-3534-4","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":"6_CR33","doi-asserted-by":"crossref","unstructured":"Wille, R.: Restructuring lattice theory: an approach based on hierarchies of concepts. In: Ordered Sets, vol.\u00a083, pp. 445\u2013470. Reidel, Dordrecht-Boston, Mass (1982)","DOI":"10.1007\/978-94-009-7798-3_15"},{"key":"6_CR34","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-540-25929-9_6","volume-title":"Rough Sets and Current Trends in Computing","author":"Y Yao","year":"2004","unstructured":"Yao, Y.: A comparative study of formal concept analysis and rough set theory in data analysis. In: Tsumoto, S., S\u0142owi\u0144ski, R., Komorowski, J., Grzyma\u0142a-Busse, J.W. (eds.) RSCTC 2004. LNCS (LNAI), vol. 3066, pp. 59\u201368. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-25929-9_6"},{"key":"6_CR35","doi-asserted-by":"crossref","unstructured":"Yao, Y.Y.: Concept lattices in rough set theory. In: IEEE Annual Meeting of the Fuzzy Information Processing Society-NAFIPS, vol.\u00a02, pp. 796\u2013801. IEEE (2004)","DOI":"10.1109\/NAFIPS.2004.1337404"},{"issue":"3","key":"6_CR36","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"L Zadeh","year":"1965","unstructured":"Zadeh, L.: Fuzzy sets. Inf. Control 8(3), 338\u2013353 (1965)","journal-title":"Inf. Control"},{"issue":"1","key":"6_CR37","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0165-0114(78)90029-5","volume":"1","author":"L Zadeh","year":"1978","unstructured":"Zadeh, L.: Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets Syst. 1(1), 3\u201328 (1978)","journal-title":"Fuzzy Sets Syst."}],"container-title":["Lecture Notes in Computer Science","Foundations of Information and Knowledge Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-21540-6_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T06:50:15Z","timestamp":1773903015000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-21540-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032215390","9783032215406"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-21540-6_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"20 March 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FoIKS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Foundations of Information and Knowledge Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Hanover","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 March 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 March 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"foiks2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/foiks2026.github.io\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}