Louwe B. Kuijer

According to our database, Louwe B. Kuijer authored at least 28 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Almost APAL.

Hans van Ditmarsch, Mo Liu, Louwe B. Kuijer, Igor Sedlár

J. Log. Comput., August, 2023

Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ¹₁-hard.

Rustam Galimullin, Louwe B. Kuijer

Proceedings of the Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, 2023

Simple Axioms for Local Properties.

Philippe Balbiani, Wiebe van der Hoek, Louwe B. Kuijer

Proceedings of the Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, 2023

HyperLTL Satisfiability Is Highly Undecidable, HyperCTL* is Even Harder.

Marie Fortin, Louwe B. Kuijer, Patrick Totzke, Martin Zimmermann

CoRR, 2023

An Arrow-Based Dynamic Logic of Normative Systems and Its Decidability.

Hans van Ditmarsch, Louwe B. Kuijer, Mo Liu

Proceedings of the Logic, Rationality, and Interaction - 9th International Workshop, 2023

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

Reasoning about general preference relations.

Davide Grossi, Wiebe van der Hoek, Louwe B. Kuijer

Artif. Intell., 2022

2021

HyperLTL Satisfiability is Σ₁¹-complete, HyperCTL* Satisfiability is Σ₁²-complete.

Marie Fortin, Louwe B. Kuijer, Patrick Totzke, Martin Zimmermann

CoRR, 2021

HyperLTL Satisfiability Is Σ₁¹-Complete, HyperCTL* Satisfiability Is Σ₁²-Complete.

Marie Fortin, Louwe B. Kuijer, Patrick Totzke, Martin Zimmermann

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

2020

Arrow update synthesis.

Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer

Inf. Comput., 2020

The logic of gossiping.

Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer

Artif. Intell., 2020

Logics of Preference when There Is No Best.

Davide Grossi, Wiebe van der Hoek, Louwe B. Kuijer

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 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

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Expressivity of Some Versions of APAL.

Hans van Ditmarsch, Mo Liu, Louwe B. Kuijer, Igor Sedlár

Proceedings of the Dynamic Logic. New Trends and Applications, 2020

2019

Strengthening Gossip Protocols using Protocol-Dependent Knowledge.

Hans van Ditmarsch, Malvin Gattinger, Louwe B. Kuijer, Pere Pardo

FLAP, 2019

Knowledge Without Complete Certainty.

Hans van Ditmarsch, Louwe B. Kuijer

Proceedings of the Logic, Language, Information, and Computation, 2019

Reachability of Five Gossip Protocols.

Hans van Ditmarsch, Malvin Gattinger, Ioannis Kokkinis, Louwe B. Kuijer

Proceedings of the Reachability Problems - 13th International Conference, 2019

2018

Second-order propositional modal logic: Expressiveness and completeness results.

Francesco Belardinelli, Wiebe van der Hoek, Louwe B. Kuijer

Artif. Intell., 2018

2017

The undecidability of arbitrary arrow update logic.

Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer

Theor. Comput. Sci., 2017

Arbitrary Arrow Update Logic with Common Knowledge is neither RE nor co-RE.

Louwe B. Kuijer

Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

Arbitrary arrow update logic.

Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer

Artif. Intell., 2017

2016

On the Length and Depth of Temporal Formulae Distinguishing Non-bisimilar Transition Systems.

Valentin Goranko, Louwe B. Kuijer

Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016

Fully Arbitrary Public Announcements.

Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer

Proceedings of the Advances in Modal Logic 11, 2016

2015

The expressivity of update logics.

Louwe B. Kuijer

J. Log. Comput., 2015

2014

The Expressivity of Factual Change in Dynamic Epistemic Logic.

Louwe B. Kuijer

Rev. Symb. Log., 2014

2013

Sequent Systems for Nondeterministic Propositional Logics without Reflexivity.

Louwe B. Kuijer

Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013

How Arbitrary Are Arbitrary Public Announcements?

Louwe Bouke Kuijer

Proceedings of the Pristine Perspectives on Logic, Language, and Computation, 2013

2012

Sanction Semantics and Contrary-to-Duty Obligations.

Louwe B. Kuijer

Proceedings of the Deontic Logic in Computer Science - 11th International Conference, 2012