Decidability of Logic of Correlated Knowledge

Article type: Research Article

Authors: Giedra, Haroldas^{; *} | Sakalauskaitė, Jūratė | Alonderis, Romas

Affiliations: Institute of Mathematics and Informatics, Vilnius University, Akademijos 4, LT-08663 Vilnius, Lithuania, e-mail: haroldas.giedra@gmail.com, jurate.sakalauskaite@mii.vu.lt, romas.alonderis@mii.vu.lt

Correspondence: [*] Corresponding author.

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.

Keywords: logic of correlated knowledge, decidability, decision procedure, proof system, sequent calculus

Journal: Informatica, vol. 25, no. 4, pp. 541-550, 2014