R. Alonderis, “Multi-succedent sequent calculus for intuitionistic epistemic logic”, LMR, vol. 65, no. A, pp. 9–17, Dec. 2024, doi: 10.15388/LMD.2024.37367.