Sequent calculus for logic of correlated knowledge

Haroldas  Giedra; Jūratė  Sakalauskaitė

doi:10.15388/LMR.2011.ml04

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.

Download Citation

Abstract

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

PDF

References

Downloads

Download data is not yet available.

Most read articles by the same author(s)

Romas Alonderis, Haroldas Giedra, A derivation-loop method for temporal logic , Lietuvos matematikos rinkinys: Vol. 60 (2019): Ser. A
Haroldas Giedra, Romas Alonderis, Applications of logic of correlated knowledge to quantum mechanics , Lietuvos matematikos rinkinys: Vol. 59 (2018): Ser. A
Haroldas Giedra, Cut free sequent calculus for logic S5n(ED) , Lietuvos matematikos rinkinys: Vol. 51 (2010)
Jūratė Sakalauskaitė, Prefixed tableaus for three-valued modal propositional logics , Lietuvos matematikos rinkinys: 1997: LMD darbai
Jūratė Sakalauskaitė, Partial cut elimination for propositional discrete linear time temporal logic , Lietuvos matematikos rinkinys: Vol. 51 (2010)
Jūratė Sakalauskaitė, Partial cut elimination for combinations of propositional multi-modal logics with past time , Lietuvos matematikos rinkinys: Vol. 52 (2011)
Jūratė Sakalauskaitė, Tableaus for finitely-valued modal propositional logics , Lietuvos matematikos rinkinys: No. II (1998)
Jūratė Sakalauskaitė, Prefixed tableaux for multi-modal logic of knowledge with inclusions , Lietuvos matematikos rinkinys: Vol. 43 (2003)