| Title |
Įrodymų sistema koreliatyvių žinių logikai / |
| Translation of Title |
Proof system for logic of correlated knowledge. |
| Authors |
Giedra, Haroldas |
| Full Text |
|
| Pages |
28 |
| Keywords [eng] |
Logic of correlated knowledge ; proof system ; sequent calculus ; decidability ; decision procedure. |
| Abstract [eng] |
Automated proof system for logic of correlated knowledge is presented in the dissertation. The system consists of the sequent calculus GS-LCK and the proof search procedure GS-LCK-PROC. Sequent calculus is sound, complete and satisfy the properties of invertibility of rules, admissibility of weakening, contraction and cut. The procedure GS-LCK-PROC is terminating and allows to check if the sequent is provable. Also decidability of logic of correlated knowledge has been proved. Using the terminating procedure GS-LCK-PROC the validity of all formulas of logic of correlated knowledge can be checked. |
| Type |
Summaries of doctoral thesis |
| Language |
Lithuanian |
| Publication date |
2014 |
