H. . Giedra, “Cut free sequent calculus for logic S5n(ED)”, LMR, vol. 51, no. proc. LMS, pp. 336–341, Dec. 2010, doi: 10.15388/LMR.2010.61.