25 citations · 42 across the 3 of their papers we have counts for
3 papers
cs.LO2017★ 3 cited
Conditional Belief, Knowledge and Probability
Jan van Eijck, Kai Li
A natural way to represent beliefs and the process of updating beliefs is presented by Bayesian probability theory, where belief of an agent a in P can be interpreted as a consider…
cs.LO2016★ 25 cited
Knowing Values and Public Inspection
Jan van Eijck, Malvin Gattinger, Yanjing Wang
We present a basic dynamic epistemic logic of "knowing the value". Analogous to public announcement in standard DEL, we study "public inspection", a new dynamic operator which upda…
cs.DM2015★ 14 cited
Dynamic Gossip
Hans van Ditmarsch, Jan van Eijck, Pere Pardo +2
A gossip protocol is a procedure for spreading secrets among a group of agents, using a connection graph. The goal is for all agents to get to know all secrets, in which case we ca…