Tableaux for temporal logics of knowledge: synchronous systems of perfect recall or no learning | IEEE Conference Publication | IEEE Xplore