Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States.

Tim French, Ron van der Meyden, Mark Reynolds

Browse the full AiML paper archive.