Browse by People

van Ditmarsch, Hans, Liu, Mo, Kuijer, Louwe B ORCID: 0000-0001-6696-9023 and Sedlar, Igor (2023) Almost APAL. JOURNAL OF LOGIC AND COMPUTATION, 33 (6). pp. 1350-1378.

Kuijer, Louwe B ORCID: 0000-0001-6696-9023 (2017) Arbitrary Arrow Update Logic with Common Knowledge is neither RE nor co-RE. In: Sixteenth conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017).

van Ditmarsch, Hans, van der Hoek, Wiebe, Kooi, Barteld and Kuijer, Louwe B ORCID: 0000-0001-6696-9023 (2020) Arrow update synthesis. INFORMATION AND COMPUTATION, 275. p. 104544.

van Ditmarsch, Hans, Liu, Mo, Kuijer, Louwe B ORCID: 0000-0001-6696-9023 and Sedlár, Igor (2020) Expressivity of Some Versions of APAL. .

Fortin, Marie, Kuijer, Louwe B, Totzke, Patrick ORCID: 0000-0001-5274-8190 and Zimmermann, Martin (2021) HyperLTL Satisfiability is $Σ_1^1$-complete, HyperCTL* Satisfiability is $Σ_1^2$-complete. Leibniz International Proceedings in Informatics, LIPIcs, 202.

van Ditmarsch, Hans and Kuijer, Louwe B ORCID: 0000-0001-6696-9023 (2019) Knowledge Without Complete Certainty. In: 26th Workshop on Logic, Language, Information and Computation, 2019-7-2 - 2019-7-5.

Liu, Mo, Fan, Jie, Van Ditmarsch, Hans and Kuijer, Louwe B ORCID: 0000-0001-6696-9023 (2022) Logics for Knowability. LOGIC AND LOGICAL PHILOSOPHY, 31 (3). pp. 385-426.

Goranko, Valentin and Kuijer, Louwe B ORCID: 0000-0001-6696-9023 (2016) On the Length and Depth of Temporal Formulae Distinguishing Non-bisimilar Transition Systems. In: 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME), 2016-10-17 - 2016-10-19.

Kuijer, Louwe B ORCID: 0000-0001-6696-9023 (2023) Perceived effectiveness of lecture videos. Developing Academic Practice, 2023 (Specia). pp. 101-107.

van Ditmarsch, Hans ORCID: 0000-0003-4526-8687, Gattinger, Malvin ORCID: 0000-0002-2498-5073, Kokkinis, Ioannis ORCID: 0000-0001-7521-0553 and Kuijer, Louwe B ORCID: 0000-0001-6696-9023 (2019) Reachability of Five Gossip Protocols. In: 13th International Conference on Reachability Problems (RP19).

Grossi, Davide ORCID: 0000-0002-9709-030X, van der Hoek, Wiebe and Kuijer, Louwe B ORCID: 0000-0001-6696-9023 (2022) Reasoning about general preference relations. Artificial Intelligence, 313. p. 103793.

Kuijer, Louwe B ORCID: 0000-0001-6696-9023 (2012) Sanction Semantics and Contrary-to-Duty Obligations. In: International Conference on Deontic Logic in Computer Science.

Galimullin, Rustam and Kuijer, Louwe B ORCID: 0000-0001-6696-9023 (2023) Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard. In: TARK-2023.

Belardinelli, Francesco, Van Der Hoek, Wiebe and Kuijer, Louwe B ORCID: 0000-0001-6696-9023 (2018) Second-order Propositional Modal Logic: Expressiveness and Completeness Results. Artificial Intelligence, 263. pp. 3-45.

Kuijer, Louwe B ORCID: 0000-0001-6696-9023 (2013) Sequent Systems for Nondeterministic Propositional Logics without Reflexivity. In: 4th International Workshop on Logic, Rationality, and Interaction (LORI).

Balbiani, Philippe, van der Hoek, Wiebe and Kuijer, Louwe B ORCID: 0000-0001-6696-9023 (2023) Simple Axioms for Local Properties. In: TARK-2023, Oxford, UK.

Galimullin, Rustam and Kuijer, Louwe B ORCID: 0000-0001-6696-9023 (2023) Synthesizing Social Laws with ATL Conditions. In: The 23rd International Conference on Autonomous Agents and Multi-Agent Systems, 2024-5-6 - 2024-5-10, Auckland, New Zealand.

van der Hoek, Wiebe, Kuijer, Louwe B ORCID: 0000-0001-6696-9023 and Wang, Yi N (2022) Who Should Be My Friends? Social Balance from the Perspective of Game Theory. JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 31 (2). pp. 189-211.

van Ditmarsch, Hans, van der Hoek, Wiebe and Kuijer, Louwe B (2017) The undecidability of arbitrary arrow update logic. THEORETICAL COMPUTER SCIENCE, 693. pp. 1-12.