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 undecidability of arbitrary arrow update logic
H van Ditmarsch, W van der Hoek, LB Kuijer
Theoretical Computer Science 693, 1-12, 2017
The logic of gossiping
H Van Ditmarsch, W Van Der Hoek, LB Kuijer
Artificial Intelligence 286, 103306, 2020
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
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, 109-123, 2013
Arrow update synthesis
H Van Ditmarsch, W Van Der Hoek, B Kooi, LB Kuijer
Information and Computation 275, 104544, 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
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
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
International Conference on Deontic Logic in Computer Science, 76-90, 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
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 expressivity of factual change in dynamic epistemic logic
LB Kuijer
The Review of Symbolic Logic 7 (2), 208-221, 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
The system can't perform the operation now. Try again later.
Articles 1–20