Tata Institute of Fundamental Research
An Introduction to Epistemic Logics
Project Seminar
Speaker:
Suhail Sherif
Date:
Friday, 8 Jan 2016, 11:00 to 12:00
Venue:
A-212 (STCS Seminar Room)
(Scan to add to calendar)
Abstract:
Abstract: Epistemic logics are logics that attempt to model knowledge. In this talk, I will give an introduction to epistemic logic and focus on the logic S5, adding common knowledge and dynamic modalities.
| Speaker: | Suhail Sherif |
| Date: | Friday, 8 Jan 2016, 11:00 to 12:00 |
| Venue: | A-212 (STCS Seminar Room) |
(Scan to add to calendar)
Abstract:
Abstract: Epistemic logics are logics that attempt to model knowledge. In this talk, I will give an introduction to epistemic logic and focus on the logic S5, adding common knowledge and dynamic modalities.