Browse by People


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


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


Ditmarsch, Hans van, Hoek, Wiebe van der, Kooi, Barteld and Kuijer, Louwe B
Arrow Update Synthesis.


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
(2020) The logic of gossiping. ARTIFICIAL INTELLIGENCE, 286.


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 Thu Nov 26 17:28:02 2020 GMT.