19 citations · 22 across the 2 of their papers we have counts for
3 papers
Commonly Knowing Whether
Jie Fan, Davide Grossi, Barteld Kooi +2
This paper introduces the notion of `commonly knowing whether', a non-standard version of standard common knowledge which is defined on the basis of `knowing whether', instead of s…
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…
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…