An Introduction to Epistemic Logics

Speaker: 

Time: 

Friday, 8 January 2016, 11:00 to 12:00

Venue: 

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.