Get our free extension to see links to code for papers anywhere online!Free add-on: code for papers everywhere!Free add-on: See code for papers anywhere!
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.
* FIrst chapter of "Handbook of Epistemic Logic", by Hans van
Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, and Barteld Kooi