O. Grigoriev and Y. Petrukhin, “Modal multilattice logics with Tarski, Kuratowski, and Halmos operators”, LLP, vol. 30, no. 3, pp. 385–415, Feb. 2021.