19 citations · 22 across the 2 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2017★ 3 cited
Cheryl's Birthday
Hans van Ditmarsch, Michael Ian Hartley, Barteld Kooi +2
We present four logic puzzles and after that their solutions. Joseph Yeo designed 'Cheryl's Birthday'. Mike Hartley came up with a novel solution for 'One Hundred Prisoners and a L…
cs.AI2015★ 19 cited
An Introduction to Logics of Knowledge and Belief
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…