Louwe B. Kuijer
Scholar

Louwe B. Kuijer

Google Scholar ID: iF9PsigAAAAJ
University of Liverpool
Dynamic Epistemic LogicLogics of Agency
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
203
 
H-index
9
 
i10-index
9
 
Publications
20
 
Co-authors
0
 
Publications
6 items
History-Constrained Systems
2026
Cited
0
Modal Logic for Simulation, Refinement, and Mutual Ignorance
2025
Cited
0
The Size of Interpolants in Modal Logics
2025
Cited
0
Varieties of Distributed Knowledge
2025
Cited
0
Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting
2025
Cited
0
HyperLTL Satisfiability Is Highly Undecidable, HyperCTL* is Even Harder
arXiv.org · 2023
Cited
0
Resume
Academic Achievements
  • Taught courses: Knowledge Representation and Reasoning (2016-2017, 2017-2018, 2018-2019, 2019-2020, 2023-2024); ESSLLI 2019: Quantifying over Information Change.
Research Experience
  • Lecturer at the Department of Computer Science, University of Liverpool.
Background
  • Research interests: modal logics, especially dynamic epistemic logic. Professional field: Computer Science.
Miscellany
  • Email: lbkuijer@liverpool.ac.uk