Institute of Information Science, Academia Sinica



Press Ctrl+P to print from browser


Applied Logics Seminar Series(XXXIX) -- Multi-agent timed Modal Epistemic Logic with Common Knowledge

  • LecturerProf. Ren-June Wang (Department of Philosophy, National Chung Cheng University)
    Host: Churn-Jung Liau
  • Time2018-06-08 (Fri.) 15:30 – 17:30
  • LocationAuditorium 101 at IIS new Building

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[@BackSlash]phi $ , instead of just $K [@BackSlash]phi $ , with the intended meaning that $ [@BackSlash]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.