Ineke van der Berg, Andrea De Domenico, Giuseppe Greco 0001, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere. Labelled Calculi for Lattice-Based Modal Logics. In Mohua Banerjee, A. V. Sreejith, editors, Logic and Its Applications - 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings. Volume 13963 of Lecture Notes in Computer Science, pages 23-47, Springer, 2023. [doi]
Abstract is missing.