Prosenjit Howlader, Churn-Jung Liau. Two-Sorted Modal Logic for Formal and Rough Concepts. In Andrea Campagner, Oliver Urs Lenz, Shuyin Xia, Dominik Slezak, Jaroslaw Was, JingTao Yao 0001, editors, Rough Sets - International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedings. Volume 14481 of Lecture Notes in Computer Science, pages 154-169, Springer, 2023. [doi]
Abstract is missing.