An Introduction to Logics of Knowledge and Belief

03/03/2015

∙

by   Hans van Ditmarsch, et al.

∙

0

∙

share

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.