Louwe B. Kuijer
Cited by
Cited by
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
Arbitrary arrow update logic
H van Ditmarsch, W van der Hoek, B Kooi, LB Kuijer
Artificial Intelligence 242, 80-106, 2017
Creating a diophantine description of a r.e. set, and on the complexity of such a description
LB Kuijer
Rijksuniversteit Groningen, 2010
The logic of gossiping
H Van Ditmarsch, W van Der Hoek, LB Kuijer
Artificial Intelligence 286, 103306, 2020
The undecidability of arbitrary arrow update logic
H van Ditmarsch, W van der Hoek, LB Kuijer
Theoretical Computer Science 693, 1-12, 2017
Fully Arbitrary Public Announcements.
H van Ditmarsch, W van der Hoek, LB Kuijer
Advances in modal logic 11, 252-267, 2016
Arbitrary arrow update logic with common knowledge is neither RE nor co-RE
LB Kuijer
arXiv preprint arXiv:1707.08754, 2017
Strengthening gossip protocols using protocol-dependent knowledge
H van Ditmarsch, M Gattinger, LB Kuijer, P Pardo
arXiv preprint arXiv:1907.12321, 2019
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
Second-order propositional modal logic: Expressiveness and completeness results
F Belardinelli, W Van Der Hoek, LB Kuijer
Artificial Intelligence 263, 3-45, 2018
Unsoundness of R (D)
LB Kuijer
unpublished Manuscript. Available online at http://personal. us. es/hvd …, 2015
How arbitrary are arbitrary public announcements?
LB Kuijer
Pristine Perspectives on Logic, Language, and Computation: ESSLLI 2012 and …, 2014
Arrow update synthesis
H Van Ditmarsch, W Van Der Hoek, B Kooi, LB Kuijer
Information and Computation 275, 104544, 2020
The expressivity of update logics
LB Kuijer
Journal of Logic and Computation 25 (3), 719-742, 2014
Sanction semantics and contrary-to-duty obligations
LB Kuijer
Deontic Logic in Computer Science: 11th International Conference, DEON 2012 …, 2012
HyperLTL Satisfiability is -complete, HyperCTL* Satisfiability is -complete
M Fortin, LB Kuijer, P Totzke, M Zimmermann
arXiv preprint arXiv:2105.04176, 2021
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
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
A Logic of Allies and Enemies
W van der Hoek, LB Kuijer, Y Wang
Logic and the Foundations of Game Theory, 2018
An arrow-based dynamic logic of norms
LB Kuijer
Proceedings of the Third International Workshop on Strategic Reasoning, 2015
The system can't perform the operation now. Try again later.
Articles 1–20