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