Grigoriev, O.; Petrukhin, Y. Modal Multilattice Logics With Tarski, Kuratowski, and Halmos Operators. LLP 2021, 30, 385-415.