Arrow update synthesis

van Ditmarsch, Hans, van der Hoek, Wiebe, Kooi, Barteld and Kuijer, Louwe B ORCID: 0000-0001-6696-9023 (2020) Arrow update synthesis. INFORMATION AND COMPUTATION, 275.

There is a more recent version of this item available.

Text
1802.00914v1.pdf - Submitted version
Download (401kB)

Item Type:	Article
Uncontrolled Keywords:	Modal logic, Synthesis, Dynamic epistemic logic, Expressivity
Depositing User:	Symplectic Admin
Date Deposited:	12 Mar 2018 11:00
Last Modified:	19 Jan 2023 06:38
DOI:	10.1016/j.ic.2020.104544
Related URLs:	Author
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3018922