Alonderis, Romas. “Multi-Succedent Sequent Calculus for Intuitionistic Epistemic Logic”. Lietuvos Matematikos Rinkinys, vol. 65, no. A, Dec. 2024, pp. 9–17, https://doi.org/10.15388/LMD.2024.37367.