Grigoriev, O.; Petrukhin, Y. On a Multilattice Analogue of a Hypersequent S5 Calculus. LLP 2019, 28, 683-730.