Szabolcs Mikulás, Mark Reynolds, Tim French. Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time. In Carsten Lutz, Jean-François Raskin, editors, TIME 2009, 16th International Symposium on Temporal Representation and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, Proceedings. pages 81-87, IEEE Computer Society, 2009. [doi]
Abstract is missing.