Jurate Sakalauskaite Sequent Calculi for Branching Time Temporal Logics of Knowledge and Belief. 103-114 2007 18 Informatica, Lith. Acad. Sci. 1 http://www.vtex.lt/Informatica/htm/INFO659.htm db/journals/informaticaLT/informaticaLT18.html#Sakalauskaite07