ICE-TCS Lectures Series - Joshua Sack - Dynamic Epistemic Temporal Logic

Wednesday, 30 September 2009, Joshua Sack (Reykjavik University) will deliver a 30-minute lunch talk entitled Dynamic Epistemic Temporal Logic.

The seminar will be held at 12:00 in room K5 at Reykjavik University (Kringlan 1) and will report on joint work by Bryan Renne, Joshua Sack and Audrey Yap that will be presented at LORI-II: Workshop on Logic, Rationality and Interaction, Chongqing, China, October 8 - 11, 2009.