GRIGORIEV, Oleg and PETRUKHIN, Yaroslav. On a multilattice analogue of a hypersequent S5 calculus. Logic and Logical Philosophy. Online. 18 July 2019. Vol. 28, no. 4, pp. 683-730. [Accessed 17 June 2024]. DOI 10.12775/LLP.2019.031.