Up a level |
van Ditmarsch, Hans, Liu, Mo, Kuijer, Louwe B ORCID: 0000-0001-6696-9023 and Sedlar, Igor
(2023)
Almost APAL.
JOURNAL OF LOGIC AND COMPUTATION, 33 (6).
pp. 1350-1378.
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.
p. 104544.
van Ditmarsch, Hans, Kuijer, Louwe ORCID: 0000-0001-6696-9023 and Liu, Mo
(2023)
An Arrow-Based Dynamic Logic of Normative Systems and Its Decidability.
In: LORI 2023, Jinan, China.
van Ditmarsch, Hans, Liu, Mo, Kuijer, Louwe B ORCID: 0000-0001-6696-9023 and Sedlár, Igor
(2020)
Expressivity of Some Versions of APAL.
.
van Ditmarsch, Hans and Kuijer, Louwe B ORCID: 0000-0001-6696-9023
(2019)
Knowledge Without Complete Certainty.
In: 26th Workshop on Logic, Language, Information and Computation, 2019-7-2 - 2019-7-5.
Belardinelli, Francesco, van Ditmarsch, Hans and van der Hoek, Wiebe
(2017)
A Logic for Global and Local Announcements.
In: Theoretical Aspects of Rationality and Knowledge (TARK), 2017-7-24 - 2017-7-26, Liverpool.
Belardinelli, Francesco, van Ditmarsch, Hans and van der Hoek, Wiebe
(2016)
Second-order Propositional Announcement Logic.
In: International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016), 2016-5-9 - 2016-5-13, Singapore.
van Ditmarsch, Hans, Gattinger, Malvin, Kuijer, Louwe ORCID: 0000-0001-6696-9023 and Pardo, Pere
(2019)
Strengthening Gossip Protocols using Protocol-Dependent Knowledge.
Journal of Applied Logics.
van Ditmarsch, Hans, van der Hoek, Wiebe and Kuijer, Louwe B
(2017)
The undecidability of arbitrary arrow update logic.
THEORETICAL COMPUTER SCIENCE, 693.
pp. 1-12.