Grigoriev, O., and Y. Petrukhin. “On a Multilattice Analogue of a Hypersequent S5 Calculus”. Logic and Logical Philosophy, vol. 28, no. 4, July 2019, pp. 683-30, doi:10.12775/LLP.2019.031.