Browse by People

Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 8.

Kuijer, Louwe B
(2017) Arbitrary Arrow Update Logic with Common Knowledge is neither RE nor co-RE. .

van Ditmarsch, Hans, van der Hoek, Wiebe, Kooi, Barteld and Kuijer, Louwe B
(2020) Arrow update synthesis. INFORMATION AND COMPUTATION, 275.

van Ditmarsch, Hans and Kuijer, Louwe B
(2019) Knowledge Without Complete Certainty. .

Goranko, Valentin and Kuijer, Louwe B
(2016) On the Length and Depth of Temporal Formulae Distinguishing Non-bisimilar Transition Systems. In: 23rd International Symposium on Temporal Representation and Reasoning (TIME2016).

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

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

Kuijer, Louwe B
(2013) Sequent Systems for Nondeterministic Propositional Logics Without Reflexivity. In: 4th International Workshop on Logic, Rationality, and Interaction (LORI).

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

This list was generated on Fri Apr 23 10:20:55 2021 BST.