19 citations · 22 across the 2 of their papers we have counts for
1 paper · 2 filters
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…