An Introduction to Logics of Knowledge and Belief
Hans van Ditmarsch, Joseph Yehuda Halpern, Wiebe van der Hoek, Barteld P. Kooi · arXiv (Cornell University) · 2015
This chapter provides an introduction to some basic concepts of epistemic logic, basic formal languages, their semantics, and proof systems. It also contains an overview of the handbook, and a brief history of epistemic logic and pointers to the literature.