Research outputs
2026
The Size of Interpolants in Modal Logics
ten Cate, B., Kuijer, L. B., & Wolter, F. (2026). The Size of Interpolants in Modal Logics. In Leibniz International Proceedings in Informatics Lipics Vol. 380. doi:10.4230/LIPIcs.LICS.2026.26
The Size of Interpolants in Modal Logics
History-Constrained Systems
Kuijer, L. B., Purser, D., Sinclair-Banks, H., & Totzke, P. (2026). History-Constrained Systems. In Lecture Notes in Computer Science Vol. 16556 LNCS (pp. 541-558). doi:10.1007/978-3-032-26204-2_28
2025
Modal Logic for Simulation, Refinement, and Mutual Ignorance
Varieties of Distributed Knowledge
HYPERLTL SATISFIABILITY IS HIGHLY UNDECIDABLE, HYPERCTL* IS EVEN HARDER
Fortin, M., Kuijer, L. B., Totzke, P., & Zimmermann, M. (2025). HYPERLTL SATISFIABILITY IS HIGHLY UNDECIDABLE, HYPERCTL* IS EVEN HARDER. LOGICAL METHODS IN COMPUTER SCIENCE, 21(1), 39 pages. doi:10.46298/LMCS-21(1:3)2025
Modal Logic for Simulation, Refinement, and Mutual Ignorance
van Ditmarsch, H., French, T., Galimullin, R., & Kuijer, L. B. (2025). Modal Logic for Simulation, Refinement, and Mutual Ignorance. In Electronic Proceedings in Theoretical Computer Science Eptcs Vol. 437 (pp. 379-398). doi:10.4204/EPTCS.437.30
Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting
Kuijer, L., Tan, T., Wolter, F., & Zakharyaschev, M. (2025). Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting. In Proceedings Symposium on Logic in Computer Science (pp. 329-343). doi:10.1109/LICS65433.2025.00032
2024
Separating Counting from Non-Counting in Fragments of Two-Variable First-Order Logic (Extended Abstract)
Kuijer, L., Tan, T., Wolter, F., & Zakharyaschev, M. (2024). Separating Counting from Non-Counting in Fragments of Two-Variable First-Order Logic (Extended Abstract). In Ceur Workshop Proceedings Vol. 3739.
Synthesizing Social Laws with ATL Conditions
Galimullin, R., & Kuijer, L. B. (2024). Synthesizing Social Laws with ATL Conditions. In Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems Aamas Vol. 2024-May (pp. 2270-2272).
Varieties of Distributed Knowledge
Galimullin, R., & Kuijer, L. B. (2024). Varieties of Distributed Knowledge. In Advances in Modal Logic Vol. 15 (pp. 379-400).
2023
Almost APAL
van Ditmarsch, H., Liu, M., Kuijer, L. B., & Sedlar, I. (2023). Almost APAL. JOURNAL OF LOGIC AND COMPUTATION, 33(6), 1350-1378. doi:10.1093/logcom/exac012
Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is $Σ^1_1$-hard
Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ11-hard
Galimullin, R., & Kuijer, L. B. (2023). Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ11-hard. In Electronic Proceedings in Theoretical Computer Science Eptcs Vol. 379 (pp. 260-271). doi:10.4204/EPTCS.379.21
Simple Axioms for Local Properties
Balbiani, P., van der Hoek, W., & Kuijer, L. B. (2023). Simple Axioms for Local Properties. In ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE (pp. 82-92). doi:10.4204/EPTCS.379.9
An Arrow-Based Dynamic Logic of Normative Systems and Its Decidability
van Ditmarsch, H., Kuijer, L., & Liu, M. (2023). An Arrow-Based Dynamic Logic of Normative Systems and Its Decidability. In Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics Vol. 14329 LNCS (pp. 63-76). doi:10.1007/978-3-031-45558-2_5
Perceived effectiveness of lecture videos
Kuijer, L. B. (2023). Perceived effectiveness of lecture videos. Developing Academic Practice, 2023(Special), 101-107. doi:10.3828/dap.2023.7
2022
Reasoning about general preference relations
Grossi, D., van der Hoek, W., & Kuijer, L. B. (2022). Reasoning about general preference relations. Artificial Intelligence, 313. doi:10.1016/j.artint.2022.103793
Logics for Knowability
Liu, M., Fan, J., Van Ditmarsch, H., & Kuijer, L. B. (2022). Logics for Knowability. LOGIC AND LOGICAL PHILOSOPHY, 31(3), 385-426. doi:10.12775/LLP.2021.018
Who Should Be My Friends? Social Balance from the Perspective of Game Theory
van der Hoek, W., Kuijer, L. B., & Wang, Y. N. (2022). Who Should Be My Friends? Social Balance from the Perspective of Game Theory. JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 31(2), 189-211. doi:10.1007/s10849-022-09356-z
2021
HyperLTL Satisfiability Is Σ11 -Complete, HyperCTL∗ Satisfiability Is Σ21 -Complete
Fortin, M., Kuijer, L. B., Totzke, P., & Zimmermann, M. (2021). HyperLTL Satisfiability Is Σ11 -Complete, HyperCTL∗ Satisfiability Is Σ21 -Complete. Leibniz International Proceedings in Informatics Lipics, 202. doi:10.4230/LIPIcs.MFCS.2021.47
HyperLTL Satisfiability is $Σ_1^1$-complete, HyperCTL* Satisfiability is $Σ_1^2$-complete
2020
Expressivity of Some Versions of APAL
van Ditmarsch, H., Liu, M., Kuijer, L. B., & Sedlár, I. (2020). Expressivity of Some Versions of APAL. In Lecture Notes in Computer Science (pp. 120-136). Springer Nature. doi:10.1007/978-3-030-65840-3_8
Arrow update synthesis
van Ditmarsch, H., van der Hoek, W., Kooi, B., & Kuijer, L. B. (2020). Arrow update synthesis. INFORMATION AND COMPUTATION, 275, 28 pages. doi:10.1016/j.ic.2020.104544
The Logic of Gossiping
Van Ditmarsch, H., Van Der Hoek, W., & Kuijer, L. (2020). The Logic of Gossiping. Artificial Intelligence, 286. doi:10.1016/j.artint.2020.103306
Logics of Preference when There Is No Best
Grossi, D., Van der Hoek, W., & Kuijer, L. B. (2020). Logics of Preference when There Is No Best. In KR2020: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING (pp. 455-464). Retrieved from https://www.webofscience.com/
Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory
Van der Hoek, W., Kuijer, L., & Wang, Y. (2020). Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory. In PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (pp. 210-216). Retrieved from https://www.webofscience.com/
Logics of preference when there is no best
Grossi, D., Van Der Hoek, W., & Kuijer, L. B. (2020). Logics of preference when there is no best. In 17th International Conference on Principles of Knowledge Representation and Reasoning Kr 2020 Vol. 2 (pp. 454-463).
2019
Arrow Update Synthesis
Who should be my friends? Social balance from the perspective of game theory.
Van Der Hoek, W., Kuijer, L. B., & Wang, Y. (2019). Who should be my friends? Social balance from the perspective of game theory.. In International Conference on Logic, Rationality and Interaction. Chongqing, China.
Strengthening Gossip Protocols using Protocol-Dependent Knowledge
Knowledge Without Complete Certainty
van Ditmarsch, H., & Kuijer, L. B. (2019). Knowledge Without Complete Certainty. In Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics Vol. 11541 LNCS (pp. 619-632). doi:10.1007/978-3-662-59533-6_38
Reachability of Five Gossip Protocols
van Ditmarsch, H., Gattinger, M., Kokkinis, I., & Kuijer, L. B. (2019). Reachability of Five Gossip Protocols. In Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics Vol. 11674 LNCS (pp. 218-231). doi:10.1007/978-3-030-30806-3_17
Strengthening gossip protocols using protocol-dependent knowledge
van Ditmarsch, H., Gattinger, M., Kuijer, L. B., & Pardo, P. (2019). Strengthening gossip protocols using protocol-dependent knowledge. Journal of Applied Logics, 6(1), 157-203.
2018
Second-order Propositional Modal Logic: Expressiveness and Completeness Results
Belardinelli, F., Van Der Hoek, W., & Kuijer, L. B. (2018). Second-order Propositional Modal Logic: Expressiveness and Completeness Results. Artificial Intelligence, 263, 3-45. doi:10.1016/j.artint.2018.07.004
2017
The undecidability of arbitrary arrow update logic
van Ditmarsch, H., van der Hoek, W., & Kuijer, L. (2017). The undecidability of arbitrary arrow update logic. Theoretical Computer Science, 693, 1-12. doi:10.1016/j.tcs.2017.07.018
The undecidability of arbitrary arrow update logic
van Ditmarsch, H., van der Hoek, W., & Kuijer, L. B. (2017). The undecidability of arbitrary arrow update logic. THEORETICAL COMPUTER SCIENCE, 693, 1-12. doi:10.1016/j.tcs.2017.07.018
Arbitrary Arrow Update Logic with Common Knowledge is neither RE nor co-RE
Arbitrary arrow update logic with common knowledge is neither RE nor co-RE
Kuijer, L. B. (2017). Arbitrary arrow update logic with common knowledge is neither RE nor co-RE. In Electronic Proceedings in Theoretical Computer Science Eptcs Vol. 251 (pp. 373-381). doi:10.4204/EPTCS.251.27
Arbitrary Arrow Update Logic
van Ditmarsch, H., Van Der Hoek, W., Kooi, B., & Kuijer, L. (2017). Arbitrary Arrow Update Logic. Artificial Intelligence, 242, 80-106. doi:10.1016/j.artint.2016.10.003
2016
On the Length and Depth of Temporal Formulae Distinguishing Non-bisimilar Transition Systems
Goranko, V., & Kuijer, L. B. (2016). On the Length and Depth of Temporal Formulae Distinguishing Non-bisimilar Transition Systems. In Proceedings of the International Workshop on Temporal Representation and Reasoning Vol. 2016-December (pp. 177-185). doi:10.1109/TIME.2016.26
The Undecidability of Arbitrary Arrow Update Logic
Fully Arbitrary Public Announcements
Van Ditmarsch, H., Van Der Hoek, W., & Kuijer, L. B. (2016). Fully Arbitrary Public Announcements. In Advances in Modal Logic Vol. 11 (pp. 252-267).
2015
The expressivity of update logics
Kuijer, L. B. (2015). The expressivity of update logics. Journal of Logic and Computation, 25(3), 719-742. doi:10.1093/logcom/exu047
2014
How arbitrary are arbitrary public announcements?
Kuijer, L. B. (2014). How arbitrary are arbitrary public announcements?. In Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics Vol. 8607 LNCS (pp. 109-123). doi:10.1007/978-3-662-44116-9_8
THE EXPRESSIVITY OF FACTUAL CHANGE IN DYNAMIC EPISTEMIC LOGIC
KUIJER, L. B. (2014). THE EXPRESSIVITY OF FACTUAL CHANGE IN DYNAMIC EPISTEMIC LOGIC. The Review of Symbolic Logic, 7(2), 208-221. doi:10.1017/s1755020313000324
2013
Sequent systems for nondeterministic propositional logics without reflexivity
Kuijer, L. B. (2013). Sequent systems for nondeterministic propositional logics without reflexivity. In Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics Vol. 8196 LNCS (pp. 190-203). doi:10.1007/978-3-642-40948-6_15
2012
Sanction semantics and contrary-to-duty obligations
Kuijer, L. B. (2012). Sanction semantics and contrary-to-duty obligations. In Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics Vol. 7393 LNAI (pp. 76-90). doi:10.1007/978-3-642-31570-1_6