2021
Liu, M., Fan, J., van Ditmarsch, H., & Kuijer, L. (n.d.). Logics for Knowability. Logic and Logical Philosophy.
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., 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
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., & Wáng, Y. (2020). Logics of allies and enemies: A formal approach to the dynamics of social balance theory. In IJCAI International Joint Conference on Artificial Intelligence Vol. 2021-January (pp. 210-216).
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., Gattinger, M., Kokkinis, I., & Kuijer, L. B. (2019). Reachability of Five Gossip Protocols. In Reachability Problems Vol. 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019 (pp. 218-231).
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., Kuijer, L., & Pardo, P. (2019). Strengthening Gossip Protocols using Protocol-Dependent Knowledge. Journal of Applied Logics.
2018
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
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
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 23rd International Symposium on Temporal Representation and Reasoning (TIME2016).
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 4th International Workshop on Logic, Rationality, and Interaction (LORI) (pp. 190-203).
2012
Kuijer, L. B. (2012). Sanction Semantics and Contrary-to-Duty Obligations.. In International Conference on Deontic Logic in Computer Science.
