講　題： 應用邏輯討論會系列 (XXXIX) - Multi-agent timed Modal Epistemic Logic with Common Knowledge 王仁俊 教授 (國立中正大學哲學系) 2018-06-08 (Fri) 15:30 – 17:30 資訊所新館101演講廳 廖純中

The timed Modal Epistemic Logic, tMEL is an epistemic logical framework extended from the traditional Modal Epistemic logic, MEL, with the ability to represent the reasoning time taken by the agent.

It has formulas of the form $K^i\phi$ , instead of just $K \phi$ , with the intended meaning that $\phi$ is known by the agent at the time $i$.In this talk we will discuss several multi-agent versions of tMEL, including the case in which a common-knowledge-like operator is introduced.