"An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK."

Erica Calardo, Vladimir V. Rybakov (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics