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.