(1)
Giedra H.; Sakalauskaitė J. Sequent Calculus for Logic of Correlated Knowledge. LMR 2011, 52, 243–248.