Parameters for epistemic gossip problems H Van Ditmarsch, D Grossi, A Herzig, W van Der Hoek, LB Kuijer
LOFT 2016-12th Conference on Logic and the Foundations of Game and Decision …, 2016
26 2016 Arbitrary arrow update logic H van Ditmarsch, W van der Hoek, B Kooi, LB Kuijer
Artificial Intelligence 242, 80-106, 2017
24 2017 The logic of gossiping H van Ditmarsch, W van Der Hoek, LB Kuijer
Artificial Intelligence 286, 103306, 2020
16 2020 Creating a diophantine description of a r.e. set, and on the complexity of such a description LB Kuijer
Rijksuniversteit Groningen, 2010
16 2010 Arrow update synthesis H van Ditmarsch, W van Der Hoek, B Kooi, LB Kuijer
Information and Computation 275, 104544, 2020
12 2020 Logics of allies and enemies: A formal approach to the dynamics of social balance theory W Van der Hoek, L Kuijer, Y Wáng
Proceedings of the Twenty-Ninth International Conference on International …, 2021
11 2021 HyperLTL Satisfiability is M Fortin, LB Kuijer, P Totzke, M Zimmermann
arXiv preprint arXiv:2105.04176, 2021
10 2021 Strengthening gossip protocols using protocol-dependent knowledge H van Ditmarsch, M Gattinger, LB Kuijer, P Pardo
arXiv preprint arXiv:1907.12321, 2019
10 2019 Second-order propositional modal logic: Expressiveness and completeness results F Belardinelli, W Van Der Hoek, LB Kuijer
Artificial Intelligence 263, 3-45, 2018
10 2018 The undecidability of arbitrary arrow update logic H van Ditmarsch, W van der Hoek, LB Kuijer
Theoretical Computer Science 693, 1-12, 2017
9 2017 Arbitrary arrow update logic with common knowledge is neither RE nor co-RE LB Kuijer
arXiv preprint arXiv:1707.08754, 2017
9 2017 Fully Arbitrary Public Announcements. H van Ditmarsch, W van der Hoek, LB Kuijer
Advances in modal logic 11, 252-267, 2016
9 2016 How arbitrary are arbitrary public announcements? LB Kuijer
European Summer School in Logic, Language and Information, 109-123, 2012
8 2012 Unsoundness of R (D) LB Kuijer
unpublished Manuscript. Available online at http://personal. us. es/hvd …, 2015
7 2015 An arrow-based dynamic logic of norms LB Kuijer
3rd International Workshop on Strategic Reasoning (SR 2015), 2015
7 2015 Who should be my friends? social balance from the perspective of game theory W van der Hoek, LB Kuijer, YN Wáng
Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019 …, 2019
5 2019 Reasoning about general preference relations D Grossi, W van der Hoek, LB Kuijer
Artificial Intelligence 313, 103793, 2022
4 2022 Expressivity of some versions of APAL H van Ditmarsch, M Liu, LB Kuijer, I Sedlár
Dynamic Logic. New Trends and Applications: Third International Workshop …, 2020
4 2020 A Logic of Allies and Enemies W van der Hoek, LB Kuijer, Y Wang
Logic and the Foundations of Game Theory, 2018
4 2018 The expressivity of update logics LB Kuijer
Journal of Logic and Computation 25 (3), 719-742, 2014
4 2014 