@inproceedings{ba52e27d60aa4e75a006ce0ba48d1e76,
title = "Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time",
author = "S. Mikulas and Mark Reynolds and Tim French",
year = "2009",
doi = "10.1109/TIME.2009.18",
language = "English",
isbn = "9780769537276",
volume = "1",
pages = "81--87",
editor = "Carsten Lutz and Jean-Francois Raskin",
booktitle = "Proceedings of the 16th International Symposium on Temporal Representation and Reasoning",
publisher = "IEEE, Institute of Electrical and Electronics Engineers",
address = "United States",
edition = "Bressanone-Brixen, Italy",
note = "Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time ; Conference date: 01-01-2009",
}