Follow
Louwe B. Kuijer
Title
Cited by
Cited by
Year
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
242016
Creating a diophantine description of a r.e. set, and on the complexity of such a description
LB Kuijer
Rijksuniversteit Groningen, 2010
162010
Arbitrary arrow update logic
H van Ditmarsch, W van der Hoek, B Kooi, LB Kuijer
Artificial Intelligence 242, 80-106, 2017
152017
The undecidability of arbitrary arrow update logic
H van Ditmarsch, W van der Hoek, LB Kuijer
Theoretical Computer Science 693, 1-12, 2017
102017
Fully Arbitrary Public Announcements.
H van Ditmarsch, W van der Hoek, LB Kuijer
Advances in modal logic 11, 252-267, 2016
92016
Arbitrary arrow update logic with common knowledge is neither RE nor co-RE
LB Kuijer
arXiv preprint arXiv:1707.08754, 2017
72017
The logic of gossiping
H Van Ditmarsch, W Van Der Hoek, LB Kuijer
Artificial Intelligence 286, 103306, 2020
62020
Unsoundness of R (D)
LB Kuijer
unpublished Manuscript. Available online at http://personal. us. es/hvd …, 2015
62015
How arbitrary are arbitrary public announcements?
LB Kuijer
Pristine Perspectives on Logic, Language, and Computation, 109-123, 2013
62013
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
52020
Arrow update synthesis
H Van Ditmarsch, W Van Der Hoek, B Kooi, LB Kuijer
Information and Computation 275, 104544, 2020
42020
Second-order propositional modal logic: Expressiveness and completeness results
F Belardinelli, W Van Der Hoek, LB Kuijer
Artificial Intelligence 263, 3-45, 2018
42018
The expressivity of update logics
LB Kuijer
Journal of Logic and Computation 25 (3), 719-742, 2014
42014
Sanction semantics and contrary-to-duty obligations
LB Kuijer
International Conference on Deontic Logic in Computer Science, 76-90, 2012
42012
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
32021
Strengthening gossip protocols using protocol-dependent knowledge
H van Ditmarsch, M Gattinger, LB Kuijer, P Pardo
arXiv preprint arXiv:1907.12321, 2019
32019
A Logic of Allies and Enemies
W van der Hoek, LB Kuijer, Y Wang
Logic and the Foundations of Game Theory, 2018
32018
An arrow-based dynamic logic of norms
LB Kuijer
Proceedings of the Third International Workshop on Strategic Reasoning, 2015
32015
The expressivity of factual change in dynamic epistemic logic
LB Kuijer
The Review of Symbolic Logic 7 (2), 208-221, 2014
32014
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
22022
The system can't perform the operation now. Try again later.
Articles 1–20