25 citations · 38 across the 10 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.LO2019
Towards Symbolic Factual Change in DEL
Malvin Gattinger
We extend symbolic model checking for Dynamic Epistemic Logic (DEL) with factual change. Our transformers provide a compact representation of action models with pre- and postcondit…
cs.LO2019★ 5 cited
Strengthening Gossip Protocols using Protocol-Dependent Knowledge
Hans van Ditmarsch, Malvin Gattinger, Louwe B. Kuijer +1
Distributed dynamic gossip is a generalization of the classic telephone problem in which agents communicate to share secrets, with the additional twist that also telephone numbers…
cs.LO2019★ 3 cited
How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions
Malvin Gattinger, Yanjing Wang
In standard epistemic logic, knowing that p is the same as knowing that p is true, but it does not say anything about understanding p or knowing its meaning. In this paper, we pres…