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