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