Jurate Sakalauskaite. Sequent Calculi for Temporal Logics of Common Knowledge and Belief. Informatica, Lith. Acad. Sci., 17(1):85-94, 2006. [doi]
@article{Sakalauskaite06,
title = {Sequent Calculi for Temporal Logics of Common Knowledge and Belief},
author = {Jurate Sakalauskaite},
year = {2006},
url = {http://www.vtex.lt/Informatica/htm/INFO623.htm},
tags = {logic},
researchr = {https://researchr.org/publication/Sakalauskaite06},
cites = {0},
citedby = {0},
journal = {Informatica, Lith. Acad. Sci.},
volume = {17},
number = {1},
pages = {85-94},
}