Louwe B. Kuijer
University of Liverpool
H-index: 9
Europe-United Kingdom
Top articles of Louwe B. Kuijer
Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is -hard
arXiv preprint arXiv:2307.05060
2023/7/11
Simple Axioms for Local Properties
arXiv preprint arXiv:2307.05040
2023/7/11
HyperLTL Is Highly Undecidable, HyperCTL* is Even Harder
arXiv preprint arXiv:2303.16699
2023/3/29
HyperLTL Satisfiability Is Highly Undecidable, HyperCTL* is Even Harder.
arXiv e-prints
2023/3
Perceived effectiveness of lecture videos
Developing Academic Practice
2023/1/1
An Arrow-Based Dynamic Logic of Normative Systems and Its Decidability
2023/10/24
Reasoning about general preference relations
Artificial Intelligence
2022/12/1
Who should be my friends? Social balance from the perspective of game theory
Journal of Logic, Language and Information
2022/6
Logics for knowability
Logic and Logical Philosophy
2022
HyperLTL Satisfiability is -complete, HyperCTL* Satisfiability is -complete
arXiv preprint arXiv:2105.04176
2021/5/10
Arrow update synthesis
Information and Computation
2020/12/1
The logic of gossiping
Artificial Intelligence
2020/9/1
Logics of allies and enemies: A formal approach to the dynamics of social balance theory
PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE
2020