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