Andrikonis, J. and Pliuškevičius, R. 2021. Cut elimination for knowledge logic with interaction. Lietuvos matematikos rinkinys. 47, spec. (Jun. 2021), 346–350. DOI:https://doi.org/10.15388/LMR.2007.24226.