2023
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/exac012DOI: 10.1093/logcom/exac012
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.21DOI: 10.4204/eptcs.379.21
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.9DOI: 10.4204/EPTCS.379.9
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_5DOI: 10.1007/978-3-031-45558-2_5
Kuijer, L. B. (2023). Perceived effectiveness of lecture videos. Developing Academic Practice, 2023(Special), 101-107. doi:10.3828/dap.2023.7DOI: 10.3828/dap.2023.7
2022
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.103793DOI: 10.1016/j.artint.2022.103793
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.018DOI: 10.12775/LLP.2021.018
Who Should Be My Friends? Social Balance from the Perspective of Game Theory (Journal article)
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-zDOI: 10.1007/s10849-022-09356-z
2021
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
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_8DOI: 10.1007/978-3-030-65840-3_8
Van Ditmarsch, H., Van Der Hoek, W., & Kuijer, L. (2020). The Logic of Gossiping. Artificial Intelligence, 286. doi:10.1016/j.artint.2020.103306DOI: 10.1016/j.artint.2020.103306
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/
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
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.
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_38DOI: 10.1007/978-3-662-59533-6_38
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_17DOI: 10.1007/978-3-030-30806-3_17
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 (Journal article)
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.004DOI: 10.1016/j.artint.2018.07.004
Arrow update synthesis (Journal article)
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.104544DOI: 10.1016/j.ic.2020.104544
2017
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.018DOI: 10.1016/j.tcs.2017.07.018
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.27DOI: 10.4204/eptcs.251.27
Arbitrary Arrow Update Logic (Journal article)
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.003DOI: 10.1016/j.artint.2016.10.003
2016
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). IEEE. doi:10.1109/time.2016.26DOI: 10.1109/time.2016.26
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.018DOI: 10.1016/j.tcs.2017.07.018
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
Kuijer, L. B. (2015). The expressivity of update logics. Journal of Logic and Computation, 25(3), 719-742. doi:10.1093/logcom/exu047DOI: 10.1093/logcom/exu047
2014
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/s1755020313000324DOI: 10.1017/s1755020313000324
2013
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_15DOI: 10.1007/978-3-642-40948-6_15
2012
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_6DOI: 10.1007/978-3-642-31570-1_6