Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time.

Szabolcs Mikuls, Mark Reynolds, Tim French

Browse the full TIME paper archive.