Decidability of Logic of Correlated Knowledge
Haroldas Giedra, Jūratė Sakalauskaitė, Romas Alonderis · Informatica · 2014
Terminating procedure GS-LCK-PROC of the proof search in the sequent calculus GS-LCK of logic of correlated knowledge is presented in this paper. Also decidability of logic of correlated knowledge is proved, where GS-LCK-PROC is a decision procedure.