Modal Logics of Knowledge and Time Ron van der Meyden   View Paper (PDF)   Return to Invited Lectures ©2004 Association for Computing Machinery