25 citations · 38 across the 10 of their papers we have counts for
1 paper · 1 filter
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…