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