Up a level |
Van Ditmarsch, Hans, Van Der Hoek, Wiebe, Kooi, Barteld and Kuijer, Louwe
(2020)
Arrow Update Synthesis.
Information and Computation.
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.
Kuijer, Louwe ORCID: 0000-0001-6696-9023, Fortin, Marie, Totzke, Patrick ORCID: 0000-0001-5274-8190 and Zimmermann, Martin ORCID: 0000-0002-8038-2453
(2021)
HyperLTL Satisfiability is Σ11-complete, HyperCTL* Satisfiability is Σ21-complete.
In: Mathematical Foundations of Computer Science, 2021-8-23 - 2021-8-27, Tallinn.
Van Ditmarsch, Hans, Van Der Hoek, Wiebe and Kuijer, Louwe ORCID: 0000-0001-6696-9023
(2020)
The Logic of Gossiping.
Artificial Intelligence, 286.
p. 103306.
Van der Hoek, Wiebe, Kuijer, Louwe ORCID: 0000-0001-6696-9023 and Wang, Yi
(2020)
Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory.
In: International Joint Conference on Artificial Intelligence.
Kuijer, Louwe ORCID: 0000-0001-6696-9023
(2022)
Perceived effectiveness of lecture videos.
Developing Academic Practice.
Galimullin, Rustam and Kuijer, Louwe ORCID: 0000-0001-6696-9023
(2023)
Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ_1^1-hard.
In: TARK-2023.
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 Der Hoek, wiebe, Kuijer, Louwe ORCID: 0000-0001-6696-9023 and Wang, Yi
(2020)
Who Should Be My Friends? Social balance from the perspective of game theory.
Journal of Logic, Language and Information.