Grigoriev, Oleg, and Yaroslav Petrukhin. 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.