Alonderis, R. (2024) “Multi-succedent sequent calculus for intuitionistic epistemic logic”, Lietuvos matematikos rinkinys, 65(A), pp. 9–17. doi:10.15388/LMD.2024.37367.