Sequent calculus for logic of correlated knowledge
Articles
Haroldas Giedra
Vilnius University
Jūratė Sakalauskaitė
Vilnius University
Published 2011-12-15
https://doi.org/10.15388/LMR.2011.ml04
PDF

Keywords

General epistemic logic
logic of correlated knowledge
sequent calculus

How to Cite

Giedra H. and Sakalauskaitė J. (2011) “Sequent calculus for logic of correlated knowledge”, Lietuvos matematikos rinkinys, 52(proc. LMS), pp. 243–248. doi: 10.15388/LMR.2011.ml04.

Abstract

Sound and complete sequent calculi for general epistemic logic and logic of correlated knowledge are presented in this paper.

 

PDF
Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

Please read the Copyright Notice in Journal Policy