ALONDERIS, R. Multi-succedent sequent calculus for intuitionistic epistemic logic. Lietuvos matematikos rinkinys, v. 65, n. A, p. 9–17, 10 Dec.2024.