Decidability of Logic of Correlated Knowledge
Volume 25, Issue 4 (2014), pp. 541–550
Pub. online: 1 January 2014
Type: Article
Open Access
Open Access
Received
1 January 2014
1 January 2014
Accepted
1 December 2014
1 December 2014
Published
1 January 2014
1 January 2014
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.