INFORMATICA

Informatica

0868-4952 0868-4952

INFO1040

10.15388/Informatica.2014.28

Article

Decidability of Logic of Correlated Knowledge

Giedra

Haroldas

haroldas.giedra@gmail.com * Sakalauskaitė

Jūratė

jurate.sakalauskaite@mii.vu.lt Alonderis

Romas

romas.alonderis@mii.vu.lt Institute of Mathematics and Informatics, Vilnius University, Akademijos 4, LT-08663 Vilnius, Lithuania

*Corresponding author.

01012014

254541550 01012014 01122014

Vilnius University

2014

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