Louwe B. Kuijer

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