6 citations · 6 across the 1 of their papers we have counts for
3 papers
cs.LO2021
HyperLTL Satisfiability is -complete, HyperCTL* Satisfiability is -complete
Marie Fortin, Louwe B. Kuijer, Patrick Totzke +1
Temporal logics for the specification of information-flow properties are able to express relations between multiple executions of a system. The two most important such logics are H…
cs.LO2019
Strengthening Gossip Protocols using Protocol-Dependent Knowledge
Hans van Ditmarsch, Malvin Gattinger, Louwe B. Kuijer +1
Distributed dynamic gossip is a generalization of the classic telephone problem in which agents communicate to share secrets, with the additional twist that also telephone numbers…
cs.LO2017★ 6 cited
Arbitrary Arrow Update Logic with Common Knowledge is neither RE nor co-RE
Louwe B. Kuijer
Arbitrary Arrow Update Logic with Common Knowledge (AAULC) is a dynamic epistemic logic with (i) an arrow update operator, which represents a particular type of information change…