Louwe B. Kuijer

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 29

Top Topics

Normative Systems

Top Venues

J. Log. Comput.

Publications

Rustam Galimullin, Louwe B. Kuijer
Synthesizing Social Laws with ATL Conditions. AAMAS (2024)
Hans van Ditmarsch, Mo Liu, Louwe B. Kuijer, Igor Sedlár
Almost APAL. J. Log. Comput. 33 (6) (2023)
Philippe Balbiani, Wiebe van der Hoek, Louwe B. Kuijer
Simple Axioms for Local Properties. TARK (2023)
Rustam Galimullin, Louwe B. Kuijer
-hard. TARK (2023)
Marie Fortin, Louwe B. Kuijer, Patrick Totzke, Martin Zimmermann
HyperLTL Satisfiability Is Highly Undecidable, HyperCTL* is Even Harder. CoRR (2023)
Hans van Ditmarsch, Louwe B. Kuijer, Mo Liu
An Arrow-Based Dynamic Logic of Normative Systems and Its Decidability. LORI (2023)
Davide Grossi, Wiebe van der Hoek, Louwe B. Kuijer
Reasoning about general preference relations. Artif. Intell. 313 (2022)
Wiebe van der Hoek, Louwe B. Kuijer, Yì N. Wáng
Who Should Be My Friends? Social Balance from the Perspective of Game Theory. J. Log. Lang. Inf. 31 (2) (2022)
Marie Fortin, Louwe B. Kuijer, Patrick Totzke, Martin Zimmermann
-complete. CoRR (2021)
Marie Fortin, Louwe B. Kuijer, Patrick Totzke, Martin Zimmermann
HyperLTL Satisfiability Is Σ₁¹-Complete, HyperCTL* Satisfiability Is Σ₁²-Complete. MFCS (2021)
Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer
The logic of gossiping. Artif. Intell. 286 (2020)
Davide Grossi, Wiebe van der Hoek, Louwe B. Kuijer
Logics of Preference when There Is No Best. KR (2020)
Hans van Ditmarsch, Mo Liu, Louwe B. Kuijer, Igor Sedlár
Expressivity of Some Versions of APAL. DaLí (2020)
Wiebe van der Hoek, Louwe B. Kuijer, Yì N. Wáng
Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory. IJCAI (2020)
Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer
Arrow update synthesis. Inf. Comput. 275 (2020)
Hans van Ditmarsch, Louwe B. Kuijer
Knowledge Without Complete Certainty. WoLLIC (2019)
Hans van Ditmarsch, Malvin Gattinger, Louwe B. Kuijer, Pere Pardo
Strengthening Gossip Protocols using Protocol-Dependent Knowledge. CoRR (2019)
Wiebe van der Hoek, Louwe B. Kuijer, Yì N. Wáng
Who Should Be My Friends? - Social Balance from the Perspective of Game Theory. LORI (2019)
Hans van Ditmarsch, Malvin Gattinger, Ioannis Kokkinis, Louwe B. Kuijer
Reachability of Five Gossip Protocols. RP (2019)
Hans van Ditmarsch, Malvin Gattinger, Louwe B. Kuijer, Pere Pardo
Strengthening Gossip Protocols using Protocol-Dependent Knowledge. FLAP 6 (1) (2019)
Francesco Belardinelli, Wiebe van der Hoek, Louwe B. Kuijer
Second-order propositional modal logic: Expressiveness and completeness results. Artif. Intell. 263 (2018)
Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer
Arrow Update Synthesis. CoRR (2018)
Louwe B. Kuijer
Arbitrary Arrow Update Logic with Common Knowledge is neither RE nor co-RE. TARK (2017)
Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer
The undecidability of arbitrary arrow update logic. Theor. Comput. Sci. 693 (2017)
Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer
Arbitrary arrow update logic. Artif. Intell. 242 (2017)
Valentin Goranko, Louwe B. Kuijer
On the Length and Depth of Temporal Formulae Distinguishing Non-bisimilar Transition Systems. TIME (2016)
Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer
The Undecidability of Arbitrary Arrow Update Logic. CoRR (2016)
Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer
Fully Arbitrary Public Announcements. Advances in Modal Logic (2016)
Louwe B. Kuijer
The expressivity of update logics. J. Log. Comput. 25 (3) (2015)
Louwe B. Kuijer
The Expressivity of Factual Change in Dynamic Epistemic Logic. Rev. Symb. Log. 7 (2) (2014)
Louwe B. Kuijer
Sequent Systems for Nondeterministic Propositional Logics without Reflexivity. LORI (2013)
Louwe B. Kuijer
Sanction Semantics and Contrary-to-Duty Obligations. DEON (2012)