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
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
van Ditmarsch, H., Liu, M., Kuijer, L. B., & Sedlar, I. (2022). Almost APAL. JOURNAL OF LOGIC AND COMPUTATION. doi:10.1093/logcom/exac012DOI: 10.1093/logcom/exac012
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
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., 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
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 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.