89 citations · 126 across the 5 of their papers we have counts for
1 paper · 1 filter
Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek +1
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 han…