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 van Ditmarsch, D Grossi, A Herzig, W van der Hoek, LB Kuijer
Proceedings of LOFT 16, 2016
172016
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
82017
The undecidability of arbitrary arrow update logic
H van Ditmarsch, W van der Hoek, LB Kuijer
Theoretical Computer Science 693, 1-12, 2017
62017
How arbitrary are arbitrary public announcements?
LB Kuijer
Pristine Perspectives on Logic, Language, and Computation, 109-123, 2013
52013
Unsoundness of R (D)
LB Kuijer
Manuscript, available online at http://personal. us. es/hvd…, 2016
42016
Sanction semantics and contrary-to-duty obligations
LB Kuijer
International Conference on Deontic Logic in Computer Science, 76-90, 2012
42012
Fully Arbitrary Public Announcements.
H van Ditmarsch, W van der Hoek, LB Kuijer
Advances in Modal Logic 11, 252-267, 2016
32016
The expressivity of factual change in dynamic epistemic logic
LB Kuijer
The Review of Symbolic Logic 7 (2), 208-221, 2014
32014
Second-order propositional modal logic: Expressiveness and completeness results
F Belardinelli, W van der Hoek, LB Kuijer
Artificial Intelligence 263, 3-45, 2018
22018
A Logic of Allies and Enemies
W van der Hoek, LB Kuijer, Y Wang
Logic and the Foundations of Game Theory, 2018
22018
Arbitrary arrow update logic with common knowledge is neither RE nor co-RE
LB Kuijer
arXiv preprint arXiv:1707.08754, 2017
22017
Sequent systems for nondeterministic propositional logics without reflexivity
LB Kuijer
International Workshop on Logic, Rationality and Interaction, 190-203, 2013
22013
Strengthening Gossip Protocols using Protocol-Dependent Knowledge
H van Ditmarsch, M Gattinger, LB Kuijer, P Pardo
arXiv preprint arXiv:1907.12321, 2019
12019
An arrow-based dynamic logic of norms
LB Kuijer
Proceedings of the Third International Workshop on Strategic Reasoning, 2015
12015
The expressivity of update logics
LB Kuijer
Journal of Logic and Computation 25 (3), 719-742, 2014
12014
Arrow update synthesis
H van Ditmarsch, W van der Hoek, B Kooi, LB Kuijer
Information and Computation, 104544, 2020
2020
Who Should Be My Friends?
W van der Hoek, LB Kuijer, YN Wng
International Workshop on Logic, Rationality and Interaction, 370-384, 2019
2019
Reachability of Five Gossip Protocols
H Van Ditmarsch, M Gattinger, I Kokkinis, LB Kuijer
International Conference on Reachability Problems, 218-231, 2019
2019
Knowledge Without Complete Certainty
H van Ditmarsch, LB Kuijer
International Workshop on Logic, Language, Information, and Computation, 619-632, 2019
2019
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20