Grigoriev, O. and Petrukhin, Y. 2019. On a multilattice analogue of a hypersequent S5 calculus. Logic and Logical Philosophy. 28, 4 (Jul. 2019), 683–730. DOI:https://doi.org/10.12775/LLP.2019.031.