Browse by Person
Up a level |
Jump to: Conference or Workshop Item
Number of items: 1.
Conference or Workshop Item
Mikulás, Szabolcs and Reynolds, Mark and French, Tim (2009) Axiomatizations for temporal epistemic logic with perfect recall over linear time. In: 16th International Symposium on Temporal Representation and Reasoning, 23-25 July 2009, Bressanone-Brixen, Italy.