Sanction Semantics and Contrary-to-Duty Obligations. - Louwe B. Kuijer (DEON, 2012)

How Arbitrary Are Arbitrary Public Announcements? - Louwe Bouke Kuijer (ESSLLI Student Sessions, 2013)

Sequent Systems for Nondeterministic Propositional Logics without Reflexivity. - Louwe B. Kuijer (LORI, 2013)

The Expressivity of Factual Change in Dynamic Epistemic Logic. - Louwe B. Kuijer (Rev. Symb. Log., 2014)

The expressivity of update logics. - Louwe B. Kuijer (J. Log. Comput., 2015)

Fully Arbitrary Public Announcements. - Hans van Ditmarsch; Wiebe van der Hoek; Louwe B. Kuijer (Advances in Modal Logic, 2016)

On the Length and Depth of Temporal Formulae Distinguishing Non-bisimilar Transition Systems. - Valentin Goranko; Louwe B. Kuijer (TIME, 2016)

Arbitrary arrow update logic. - Hans van Ditmarsch; Wiebe van der Hoek; Barteld Kooi; Louwe B. Kuijer (Artif. Intell., 2017)

Arbitrary Arrow Update Logic with Common Knowledge is neither RE nor co-RE. - Louwe B. Kuijer (TARK, 2017)

The undecidability of arbitrary arrow update logic. - Hans van Ditmarsch; Wiebe van der Hoek; Louwe B. Kuijer (Theor. Comput. Sci., 2017)

Second-order propositional modal logic: Expressiveness and completeness results. - Francesco Belardinelli; Wiebe van der Hoek; Louwe B. Kuijer (Artif. Intell., 2018)

Reachability of Five Gossip Protocols. - Hans van Ditmarsch; Malvin Gattinger; Ioannis Kokkinis; Louwe B. Kuijer (RP, 2019)

Knowledge Without Complete Certainty. - Hans van Ditmarsch; Louwe B. Kuijer (WoLLIC, 2019)

Strengthening Gossip Protocols using Protocol-Dependent Knowledge. - Hans van Ditmarsch; Malvin Gattinger; Louwe B. Kuijer; Pere Pardo (FLAP, 2019)

Expressivity of Some Versions of APAL. - Hans van Ditmarsch; Mo Liu 002; Louwe B. Kuijer; Igor Sedlár (DaLí, 2020)

Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory. - Wiebe van der Hoek; Louwe B. Kuijer; Yì N. Wáng (IJCAI, 2020)

Logics of Preference when There Is No Best. - Davide Grossi; Wiebe van der Hoek; Louwe B. Kuijer (KR, 2020)

The logic of gossiping. - Hans van Ditmarsch; Wiebe van der Hoek; Louwe B. Kuijer (Artif. Intell., 2020)

Arrow update synthesis. - Hans van Ditmarsch; Wiebe van der Hoek; Barteld Kooi; Louwe B. Kuijer (Inf. Comput., 2020)

HyperLTL Satisfiability Is Σ₁¹-Complete, HyperCTL* Satisfiability Is Σ₁²-Complete. - Marie Fortin; Louwe B. Kuijer; Patrick Totzke; Martin Zimmermann 002 (MFCS, 2021)

HyperLTL Satisfiability is Σ11-complete, HyperCTL* Satisfiability is Σ12-complete. - Marie Fortin; Louwe B. Kuijer; Patrick Totzke; Martin Zimmermann 002 (CoRR, 2021)

Reasoning about general preference relations. - Davide Grossi; Wiebe van der Hoek; Louwe B. Kuijer (Artif. Intell., 2022)

Who Should Be My Friends? Social Balance from the Perspective of Game Theory. - Wiebe van der Hoek; Louwe B. Kuijer; Yì N. Wáng (J. Log. Lang. Inf., 2022)

An Arrow-Based Dynamic Logic of Normative Systems and Its Decidability. - Hans van Ditmarsch; Louwe B. Kuijer; Mo Liu 002 (LORI, 2023)

Simple Axioms for Local Properties. - Philippe Balbiani; Wiebe van der Hoek; Louwe B. Kuijer (TARK, 2023)

Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ11-hard. - Rustam Galimullin; Louwe B. Kuijer (TARK, 2023)

Almost APAL. - Hans van Ditmarsch; Mo Liu 002; Louwe B. Kuijer; Igor Sedlár (J. Log. Comput., 2023)

Varieties of Distributed Knowledge. - Rustam Galimullin; Louwe B. Kuijer (AiML, 2024)

Synthesizing Social Laws with ATL Conditions. - Rustam Galimullin; Louwe B. Kuijer (AAMAS, 2024)

HyperLTL Satisfiability Is Highly Undecidable, HyperCTL$^*$ is Even Harder. - Marie Fortin; Louwe B. Kuijer; Patrick Totzke; Martin Zimmermann 002 (Log. Methods Comput. Sci., 2025)