Giedra, H. ., & Sakalauskaitė, J. . (2011). Sequent calculus for logic of correlated knowledge. Lietuvos Matematikos Rinkinys, 52(proc. LMS), 243–248. https://doi.org/10.15388/LMR.2011.ml04