Up a level |
Attamah, MK
(2015)
Epistemic Gossip Protocols.
Doctor of Philosophy thesis, Unibversity of Liverpool.
Belardinelli, F and van der Hoek, W ORCID: 0000-0003-0721-0310
(2016)
A Semantical Analysis of Second-Order Propositional Modal Logic.
In: AAAI conference on Artificial Intelligence, 2016-2-12 - 2016-2-17, Phoenix, Arizona USA.
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.