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.