Up a level |
Number of items: 2.
van Ditmarsch, H, Van Der Hoek, W, Kooi, B and Kuijer, L ORCID: 0000-0001-6696-9023
(2017)
Arbitrary Arrow Update Logic.
Artificial Intelligence, 242.
pp. 80-106.
van Ditmarsch, H, van der Hoek, W and Kuijer, L ORCID: 0000-0001-6696-9023
(2017)
The undecidability of arbitrary arrow update logic.
Theoretical Computer Science, 693.
pp. 1-12.