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.

Choose timezone

An Introduction to Epistemic Logics

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

A-212 (STCS Seminar Room)