1. Calardo, E. (2006). Admissible inference rules in the linear logic of knowledge and time LTK. Logic Journal of the IGPL, 14(1), 15–34.
2. Calardo, E., & Rybakov, V. V. (2005). Combining time and knowlege, semantic approach. Bulletin of the Section of Logic, 34(1), 13–21.
3. Calardo, E., & Rybakov, V. V. (2007). An axiomatization for the multi-modal logic of knowledge and time LTK. Logic Journal of the IGPL, 15(3), 239–254.
4. Chagrov, A., & Zakharyaschev, M. (1997). Modal logics. Oxford logic guides 35 Oxford: Clarendon Press.
5. Fagin, R., Halpern, J. Y., Moses, Y., & Vardi, M. Y. (1995). Reasoning about knowledge. Cambridge: MIT Press.