Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 9.


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.

This list was generated on Sat Jan 20 15:35:09 2024 GMT.