School of Technology and Computer Science Seminars

An Introduction to Epistemic Logics

Name: An Introduction to Epistemic Logics
Start: 2016-01-08T11:00:00+05:30
End: 2016-01-08T12:00:00+05:30
Location: No location set

by Suhail Sherif (School of Technology and Computer Science, TIFR)

Friday 8 Jan 2016, 11:00 → 12:00 Asia/Kolkata

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.