Institute of Information Science Academia Sinica
Topic: Applied Logics Seminar Series(XXXIX) -- Multi-agent timed Modal Epistemic Logic with Common Knowledge
Speaker: Prof. Ren-June Wang (Department of Philosophy, National Chung Cheng University )
Date: 2018-06-08 (Fri) 15:30 – 17:30
Location: Auditorium 101 at IIS new Building
Host: Churn-Jung Liau


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.