Dr Louwe Kuijer

Lecturer Computer Science

    Publications

    2019

    Reachability of Five Gossip Protocols (Conference Paper)

    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).

    Knowledge Without Complete Certainty (Conference Paper)

    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

    DOI: 10.1007/978-3-662-59533-6_38

    Strengthening Gossip Protocols using Protocol-Dependent Knowledge (Journal article)

    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.004

    DOI: 10.1016/j.artint.2018.07.004

    2017

    The undecidability of arbitrary arrow update logic (Journal article)

    van Ditmarsch, H., van der Hoek, W., & Kuijer, L. (2017). The undecidability of arbitrary arrow update logic. Theoretical Computer Science. doi:10.1016/j.tcs.2017.07.018

    DOI: 10.1016/j.tcs.2017.07.018

    Arbitrary Arrow Update Logic with Common Knowledge is neither RE nor co-RE (Conference Paper)

    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

    DOI: 10.4204/eptcs.251.27

    Arbitrary arrow update logic (Journal article)

    van Ditmarsch, H., van der Hoek, W., Kooi, B., & Kuijer, L. B. (2017). Arbitrary arrow update logic. ARTIFICIAL INTELLIGENCE, 242, 80-106. doi:10.1016/j.artint.2016.10.003

    DOI: 10.1016/j.artint.2016.10.003

    2016

    On the Length and Depth of Temporal Formulae Distinguishing Non-bisimilar Transition Systems (Conference Paper)

    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).

    Fully Arbitrary Public Announcements (Conference Paper)

    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 (Journal article)

    Kuijer, L. B. (2015). The expressivity of update logics. Journal of Logic and Computation, 25(3), 719-742. doi:10.1093/logcom/exu047

    DOI: 10.1093/logcom/exu047

    2014

    THE EXPRESSIVITY OF FACTUAL CHANGE IN DYNAMIC EPISTEMIC LOGIC (Journal article)

    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

    DOI: 10.1017/s1755020313000324

    2013

    Sequent Systems for Nondeterministic Propositional Logics Without Reflexivity. (Conference Paper)

    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

    Sanction Semantics and Contrary-to-Duty Obligations. (Conference Paper)

    Kuijer, L. B. (2012). Sanction Semantics and Contrary-to-Duty Obligations.. In International Conference on Deontic Logic in Computer Science.