W
Wiebe van der Hoek
Researcher at University of Liverpool
Publications - 247
Citations - 8985
Wiebe van der Hoek is an academic researcher from University of Liverpool. The author has contributed to research in topics: Epistemic modal logic & Modal logic. The author has an hindex of 44, co-authored 247 publications receiving 8619 citations. Previous affiliations of Wiebe van der Hoek include University of Amsterdam & University of New South Wales.
Papers
More filters
Journal ArticleDOI
A Verification Framework for Agent Communication
TL;DR: This paper shows how to define a verification method for ACPL in terms of an integration of the verification methods for CCP and CSP and proves formally the soundness of the method and discusses its completeness.
Book ChapterDOI
Communicating Rational Agents
TL;DR: It is demonstrated how communication between agents can be incorporated in a dynamic/epistemic multi-agent system, in which the knowledge and ability of agents, and the opportunity for and the result of their actions are formalized.
Book ChapterDOI
On BAN Logics for Industrial Security Protocols
TL;DR: In this article, two case-studies of applying BAN logic to industrial strength security protocols are presented, which demonstrate the flexibility of the BAN language, as it caters for the addition of appropriate constructs and rules.
Journal ArticleDOI
Reasoning About Social Choice Functions
TL;DR: The value of the logic is shown, in particular how it can be applied to the problem of determining whether a social choice function is strategy-proof, and it is proved that it is decidable, and given a complete axiomatization.
Journal ArticleDOI
Reasoning about the transfer of control
TL;DR: DCL-PC is presented, a logic for reasoning about how the abilities of agents and coalitions of agents are altered by transferring control from one agent to another, and two alternative semantics for the logic are given: a 'direct' semantics, in which the distributions of Boolean variables to agents are captured; and a more conventional Kripke semantics.