Publications
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).
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 $\Sigma^1_1$-hard
Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard
Galimullin, R., & Kuijer, L. B. (n.d.). Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard. In Electronic Proceedings in Theoretical Computer Science Vol. 379 (pp. 260-271). Open Publishing Association. 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 Unknown Conference (pp. 63-76). Springer Nature Switzerland. 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, 103793. 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 $\Sigma_1^1$-complete, HyperCTL* Satisfiability is $\Sigma_1^2$-complete
HyperLTL Satisfiability is $Σ_1^1$-complete, HyperCTL* Satisfiability is $Σ_1^2$-complete
Fortin, M., Kuijer, L. B., Totzke, P., & Zimmermann, M. (2021). HyperLTL Satisfiability is $Σ_1^1$-complete, HyperCTL* Satisfiability is $Σ_1^2$-complete. Retrieved from http://arxiv.org/abs/2105.04176v1
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
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
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 Unknown Conference (pp. 619-632). Springer Berlin Heidelberg. 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 Unknown Conference (pp. 218-231). Springer International Publishing. 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
Arrow Update Synthesis
Arrow update synthesis
van Ditmarsch, H., van der Hoek, W., Kooi, B., & Kuijer, L. B. (2020). Arrow update synthesis. INFORMATION AND COMPUTATION, 275. doi:10.1016/j.ic.2020.104544
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
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. (n.d.). Arbitrary Arrow Update Logic with Common Knowledge is neither RE nor co-RE. In Electronic Proceedings in Theoretical Computer Science Vol. 251 (pp. 373-381). Open Publishing Association. 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 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) (pp. 177-185). IEEE. doi:10.1109/time.2016.26
The Undecidability of Arbitrary Arrow Update Logic
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
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 Unknown Conference (pp. 109-123). Springer Berlin Heidelberg. 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 Unknown Conference (pp. 190-203). Springer Berlin Heidelberg. 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 Unknown Conference (pp. 76-90). Springer Berlin Heidelberg. doi:10.1007/978-3-642-31570-1_6