89 citations · 126 across the 5 of their papers we have counts for
5 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…
Arrow Update Synthesis
Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi +1
In this contribution we present arbitrary arrow update model logic (AAUML). This is a dynamic epistemic logic or update logic. In update logics, static/basic modalities are interpr…
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…
Semantic results for ontic and epistemic change
H. P. van Ditmarsch, B. P. Kooi
We give some semantic results for an epistemic logic incorporating dynamic operators to describe information changing events. Such events include epistemic changes, where agents be…