13 citations · 30 across the 12 of their papers we have counts for
1 paper · 1 filter
Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer
Arbitrary Arrow Update Logic is a dynamic modal logic that uses an arbitrary arrow update modality to quantify over all arrow updates. Some properties of this logic have already be…