| Parameters for epistemic gossip problems H 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 | 24 | 2016 |
| Creating a diophantine description of a r.e. set, and on the complexity of such a description LB Kuijer Rijksuniversteit Groningen, 2010 | 16 | 2010 |
| Arbitrary arrow update logic H van Ditmarsch, W van der Hoek, B Kooi, LB Kuijer Artificial Intelligence 242, 80-106, 2017 | 15 | 2017 |
| The undecidability of arbitrary arrow update logic H van Ditmarsch, W van der Hoek, LB Kuijer Theoretical Computer Science 693, 1-12, 2017 | 10 | 2017 |
| Fully Arbitrary Public Announcements. H van Ditmarsch, W van der Hoek, LB Kuijer Advances in modal logic 11, 252-267, 2016 | 9 | 2016 |
| Arbitrary arrow update logic with common knowledge is neither RE nor co-RE LB Kuijer arXiv preprint arXiv:1707.08754, 2017 | 7 | 2017 |
| The logic of gossiping H Van Ditmarsch, W Van Der Hoek, LB Kuijer Artificial Intelligence 286, 103306, 2020 | 6 | 2020 |
| Unsoundness of R (D) LB Kuijer unpublished Manuscript. Available online at http://personal. us. es/hvd …, 2015 | 6 | 2015 |
| How arbitrary are arbitrary public announcements? LB Kuijer Pristine Perspectives on Logic, Language, and Computation, 109-123, 2013 | 6 | 2013 |
| Logics of allies and enemies: A formal approach to the dynamics of social balance theory W Van Der Hoek, L Kuijer, Y Wáng IJCAI International Joint Conference on Artificial Intelligence 2021, 210-216, 2020 | 5 | 2020 |
| Arrow update synthesis H Van Ditmarsch, W Van Der Hoek, B Kooi, LB Kuijer Information and Computation 275, 104544, 2020 | 4 | 2020 |
| Second-order propositional modal logic: Expressiveness and completeness results F Belardinelli, W Van Der Hoek, LB Kuijer Artificial Intelligence 263, 3-45, 2018 | 4 | 2018 |
| The expressivity of update logics LB Kuijer Journal of Logic and Computation 25 (3), 719-742, 2014 | 4 | 2014 |
| Sanction semantics and contrary-to-duty obligations LB Kuijer International Conference on Deontic Logic in Computer Science, 76-90, 2012 | 4 | 2012 |
| HyperLTL Satisfiability Is Σ₁š-Complete, HyperCTL* Satisfiability Is Σ₁˛-Complete M Fortin, LB Kuijer, P Totzke, M Zimmermann 46th International Symposium on Mathematical Foundations of Computer Science …, 2021 | 3 | 2021 |
| Strengthening gossip protocols using protocol-dependent knowledge H van Ditmarsch, M Gattinger, LB Kuijer, P Pardo arXiv preprint arXiv:1907.12321, 2019 | 3 | 2019 |
| A Logic of Allies and Enemies W van der Hoek, LB Kuijer, Y Wang Logic and the Foundations of Game Theory, 2018 | 3 | 2018 |
| An arrow-based dynamic logic of norms LB Kuijer Proceedings of the Third International Workshop on Strategic Reasoning, 2015 | 3 | 2015 |
| The expressivity of factual change in dynamic epistemic logic LB Kuijer The Review of Symbolic Logic 7 (2), 208-221, 2014 | 3 | 2014 |
| Who should be my friends? social balance from the perspective of game theory W Hoek, LB Kuijer, YN Wáng Journal of Logic, Language and Information 31 (2), 189-211, 2022 | 2 | 2022 |
