Institute of Information Science Academia Sinica
講 題: 應用邏輯討論會系列 (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.