O. Grigoriev and Y. Petrukhin, “On a multilattice analogue of a hypersequent S5 calculus”, LLP, vol. 28, no. 4, pp. 683–730, Jul. 2019.