Journal:Informatica
Volume 25, Issue 4 (2014), pp. 541–550
Abstract
Abstract
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.