Cecilia Di Florio, Huimin Dong, Antonino Rotolo. A Modal Logic for Temporal and Jurisdictional Classifier Models. In Catalin Dima, Angelo Ferrando 0001, Vadim Malvone, editors, PRIMA 2025: Principles and Practice of Multi-Agent Systems - 26th International Conference, Modena, Italy, December 16-19, 2025, Proceedings. Volume 16366 of Lecture Notes in Computer Science, pages 251-259, Springer, 2025. [doi]
Abstract is missing.