Volgen
Louwe B. Kuijer
Louwe B. Kuijer
Geverifieerd e-mailadres voor liv.ac.uk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
The logic of gossiping
H Van Ditmarsch, W Van Der Hoek, LB Kuijer
Artificial Intelligence 286, 103306, 2020
92020
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
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
Arrow update synthesis
H Van Ditmarsch, W Van Der Hoek, B Kooi, LB Kuijer
Information and Computation 275, 104544, 2020
52020
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
Strengthening gossip protocols using protocol-dependent knowledge
H van Ditmarsch, M Gattinger, LB Kuijer, P Pardo
arXiv preprint arXiv:1907.12321, 2019
52019
Second-order propositional modal logic: Expressiveness and completeness results
F Belardinelli, W Van Der Hoek, LB Kuijer
Artificial Intelligence 263, 3-45, 2018
52018
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
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20