Up a level |
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.