Mai Ajspur, Valentin Goranko. Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge. In Kamal Lodaya, editor, Logic and Its Applications, 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings. Volume 7750 of Lecture Notes in Computer Science, pages 80-96, Springer, 2013. [doi]
Abstract is missing.