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
Abstract
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.