School of Technology and Computer Science Seminars
An Introduction to Epistemic Logics
by Suhail Sherif (School of Technology and Computer Science, TIFR)
Friday, January 8, 2016
from
to
(Asia/Kolkata)
at A-212 (STCS Seminar Room)
at A-212 (STCS Seminar Room)
Description |
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. |