44 found
Order:
See also
Wiebe Van Der Hoek
University of Liverpool
  1. Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van Der Hoek & Barteld Kooi - 2008 - Studia Logica 89 (3):441-445.
  2. Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.
    Dynamic Epistemic Logic This article tells the story of the rise of dynamic epistemic logic, which began with epistemic logic, the logic of knowledge, in the 1960s. Then, in the late 1980s, came dynamic epistemic logic, the logic of change of knowledge. Much of it was motivated by puzzles and paradoxes. The number … Continue reading Dynamic Epistemic Logic →.
     
    Export citation  
     
    Bookmark   8 citations  
  3.  48
    Cooperation, Knowledge, and Time: Alternating-Time Temporal Epistemic Logic and its Applications.Wiebe van der Hoek & Michael Wooldridge - 2003 - Studia Logica 75 (1):125-157.
    Branching-time temporal logics have proved to be an extraordinarily successful tool in the formal specification and verification of distributed systems. Much of their success stems from the tractability of the model checking problem for the branching time logic CTL, which has made it possible to implement tools that allow designers to automatically verify that systems satisfy requirements expressed in CTL. Recently, CTL was generalised by Alur, Henzinger, and Kupferman in a logic known as Alternating-time Temporal Logic (ATL). The key insight (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  4.  92
    Towards a Theory of Intention Revision.Wiebe van der Hoek, Wojciech Jamroga & Michael Wooldridge - 2007 - Synthese 155 (2):265-290.
    Although the change of beliefs in the face of new information has been widely studied with some success, the revision of other mental states has received little attention from the theoretical perspective. In particular, intentions are widely recognised as being a key attitude for rational agents, and while several formal theories of intention have been proposed in the literature, the logic of intention revision has been hardly considered. There are several reasons for this: perhaps most importantly, intentions are very closely (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  5.  51
    Social Laws in Alternating Time: Effectiveness, Feasibility, and Synthesis.Wiebe van der Hoek, Mark Roberts & Michael Wooldridge - 2007 - Synthese 156 (1):1-19.
    Since it was first proposed by Moses, Shoham, and Tennenholtz, the social laws paradigm has proved to be one of the most compelling approaches to the offline coordination of multiagent systems. In this paper, we make four key contributions to the theory and practice of social laws in multiagent systems. First, we show that the Alternating-time Temporal Logic (atl) of Alur, Henzinger, and Kupferman provides an elegant and powerful framework within which to express and understand social laws for multiagent systems. (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  6.  81
    Everything is Knowable – How to Get to Know Whether a Proposition is True.Hans van Ditmarsch, Wiebe van der Hoek & Petar Iliev - 2012 - Theoria 78 (2):93-114.
    Fitch showed that not every true proposition can be known in due time; in other words, that not every proposition is knowable. Moore showed that certain propositions cannot be consistently believed. A more recent dynamic phrasing of Moore-sentences is that not all propositions are known after their announcement, i.e., not every proposition is successful. Fitch's and Moore's results are related, as they equally apply to standard notions of knowledge and belief (S 5 and KD45, respectively). If we interpret ‘successful’ as (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  7.  6
    Towards a Logic of Rational Agency.Wiebe van der Hoek & Michael Wooldridge - 2003 - Logic Journal of the IGPL 11 (2):135-159.
    Rational agents are important objects of study in several research communities, including economics, philosophy, cognitive science, and most recently computer science and artificial intelligence. Crudely, a rational agent is an entity that is capable of acting on its environment, and which chooses to act in such a way as to further its own best interests. There has recently been much interest in the use of mathematical logic for developing formal theories of such agents. Such theories view agents as practical reasoning (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  8.  11
    On Obligations and Normative Ability: Towards a Logical Analysis of the Social Contract.Michael Wooldridge & Wiebe van der Hoek - 2005 - Journal of Applied Logic 3 (3-4):396-420.
  9. Quantified Coalition Logic.Thomas Ågotnes, Wiebe van der Hoek & Michael Wooldridge - 2008 - Synthese 165 (2):269 - 294.
    We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs of Quantified Coalition Logic (QCL) allow us to express such properties as "every coalition satisfying property P can achieve φ" and "there exists a coalition C satisfying property P such that C can achieve φ". We give an axiomatisation of QCL, and show that while it is no more expressive than Coalition Logic, it is (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  10.  68
    Generalized Quantifiers and Modal Logic.Wiebe Van Der Hoek & Maarten De Rijke - 1993 - Journal of Logic, Language and Information 2 (1):19-58.
    We study several modal languages in which some (sets of) generalized quantifiers can be represented; the main language we consider is suitable for defining any first order definable quantifier, but we also consider a sublanguage thereof, as well as a language for dealing with the modal counterparts of some higher order quantifiers. These languages are studied both from a modal logic perspective and from a quantifier perspective. Thus the issues addressed include normal forms, expressive power, completeness both of modal systems (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  11.  3
    Some Exponential Lower Bounds on Formula-Size in Modal Logic.Hans van Ditmarsch, Wiebe van der Hoek & Petar Iliev - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 139-157.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  17
    Reasoning About Social Choice Functions.Nicolas Troquard, Wiebe van der Hoek & Michael Wooldridge - 2011 - Journal of Philosophical Logic 40 (4):473-498.
  13.  25
    Introduction to the Special Issue.Thomas Ågotnes, Giacomo Bonanno & Wiebe van der Hoek - 2016 - Synthese 193 (3):659-662.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  31
    On the Semantics of Graded Modalities.Wiebe Van der Hoek - 1992 - Journal of Applied Non-Classical Logics 2 (1):81-123.
  15.  19
    Introduction to the Special Issue on Logic and the Foundations of Game and Decision Theory.Giacomo Bonanno, Wiebe van der Hoek & Andrés Perea - 2019 - Studia Logica 107 (3):451-455.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  18
    Editorial.Wiebe van der Hoek - 2004 - Synthese 139 (2):133-134.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  17.  32
    Editorial Introduction to the Special Issue LOFT Sevilla.Giacomo Bonanno, Hans van Ditmarsch & Wiebe van der Hoek - 2013 - Journal of Philosophical Logic 42 (6):795-798.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  9
    Iterated Belief Change in Multi-Agent Systems.Jan-Willem Roorda, Wiebe van der Hoek & John-Jules Meyer - 2003 - Logic Journal of the IGPL 11 (2):223-246.
    We give a model for iterated belief change in multi-agent systems. The formal tool we use for this is a combination of modal and dynamic logic. Two core notions in our model are the expansion of the knowledge and beliefs of an agent, and the processing of new information. An expansion is defined as the change in the knowledge and beliefs of an agent when it decides to believe an incoming formula while holding on to its current propositional beliefs. To (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  19.  7
    A Logical Characterisation of Qualitative Coalitional Games.Paul E. Dunne, Wiebe van der Hoek & Michael Wooldridge - 2007 - Journal of Applied Non-Classical Logics 17 (4):477-509.
    Qualitative coalitional games were introduced as abstract formal models of goal-oriented cooperative systems. A QCG is a game in which each agent is assumed to have some goal to achieve, and in which agents must typically cooperate with others in order to satisfy their goals. In this paper, we show how it is possible to reason about QCGs using Coalition Logic, a formalism intended to facilitate reasoning about coalitional powers in game-like multiagent systems. We introduce a correspondence relation between QCGs (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  19
    Foreword.Giacomo Bonanno, Andreas Herzig, Wiebe van der Hoek & Jérôme Lang - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):263-264.
  21.  17
    Robust Normative Systems and a Logic of Norm Compliance.Thomas Agotnes, Wiebe van der Hoek & Michael Wooldridge - 2010 - Logic Journal of the IGPL 18 (1):4-30.
    Although normative systems, or social laws, have proved to be a highly influential approach to coordination in multi-agent systems, the issue of compliance to such normative systems remains problematic. In all real systems, it is possible that some members of an agent population will not comply with the rules of a normative system, even if it is in their interests to do so. It is therefore important to consider the extent to which a normative system is robust, i.e., the extent (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  29
    On Agents That Have the Ability to Choose.Wiebe van der Hoek, Bernd van Linder & John-Jules Meyer - 2000 - Studia Logica 66 (1):79-119.
    We demonstrate ways to incorporate nondeterminism in a system designed to formalize the reasoning of agents concerning their abilities and the results of the actions that they may perform. We distinguish between two kinds of nondeterministic choice operators: one that expresses an internal choice, in which the agent decides what action to take, and one that expresses an external choice, which cannot be influenced by the agent. The presence of abilities in our system is the reason why the usual approaches (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  23
    Temporalizing Epistemic Default Logic.Wiebe van der Hoek, John-Jules Meyer & Jan Treur - 1998 - Journal of Logic, Language and Information 7 (3):341-367.
    We present an epistemic default logic, based on the metaphore of a meta-level architecture. Upward reflection is formalized by a nonmonotonic entailment relation, based on the objective facts that are either known or unknown at the object level. Then, the meta (monotonic) reasoning process generates a number of default-beliefs of object-level formulas. We extend this framework by proposing a mechanism to reflect these defaults down. Such a reflection is seen as essentially having a temporal flavour: defaults derived at the meta-level (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  7
    Logic, Rationality and Interaction : Introduction to the Special Issue.Wiebe van der Hoek, Wesley H. Holiday & Wen-Fang Wang - 2018 - Synthese 195 (10):4201-4204.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  25
    Introduction Chapter.Cilia Witteman & Wiebe van der Hoek - 2012 - Synthese 189 (1):1-3.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  26.  24
    Honesty in Partial Logic.Wiebe van der Hoek, Jan Jaspars & Elias Thijsse - 1996 - Studia Logica 56 (3):323-360.
    We propose an epistemic logic in which knowledge is fully introspective and implies truth, although truth need not imply epistemic possibility. The logic is presented in sequential format and is interpreted in a natural class of partial models, called balloon models. We examine the notions of honesty and circumscription in this logic: What is the state of an agent that 'only knows φ' and which honest φ enable such circumscription? Redefining stable sets enables us to provide suitable syntactic and semantic (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  27.  29
    Multi-Modal CTL: Completeness, Complexity, and an Application. [REVIEW]Thomas Ågotnes, Wiebe Van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra & Michael Wooldridge - 2009 - Studia Logica 92 (1):1-26.
    We define a multi-modal version of Computation Tree Logic (ctl) by extending the language with path quantifiers E δ and A δ where δ denotes one of finitely many dimensions, interpreted over Kripke structures with one total relation for each dimension. As expected, the logic is axiomatised by taking a copy of a ctl axiomatisation for each dimension. Completeness is proved by employing the completeness result for ctl to obtain a model along each dimension in turn. We also show that (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  6
    Seeing is Believing.Bernd van Linder, Wiebe van der Hoek & J. -J. Ch Meyer - 1997 - Journal of Logic, Language and Information 6 (1):33-61.
  29.  24
    Note by the Guest Editors.Wiebe van der Hoek & Cees Witteveen - 2002 - Studia Logica 70 (1):3-4.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  30.  17
    Logics for Qualitative Coalitional Games.Thomas Agotnes, Wiebe van der Hoek & Michael Wooldridge - 2009 - Logic Journal of the IGPL 17 (3):299-321.
    Qualitative Coalitional Games are a variant of coalitional games in which an agent's desires are represented as goals that are either satisfied or unsatisfied, and each choice available to a coalition is a set of goals, which would be jointly satisfied if the coalition made that choice. A coalition in a QCG will typically form in order to bring about a set of goals that will satisfy all members of the coalition. Our goal in this paper is to develop and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  14
    Special Issue on Logical Aspects of Multi-Agent Systems.Nils Bulling & Wiebe van der Hoek - 2016 - Studia Logica 104 (4):593-595.
  32.  19
    Erratum To: Introduction Chapter.Cilia Witteman & Wiebe van der Hoek - 2012 - Synthese 189 (1):185-185.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  27
    Knowledge Condition Games.Sieuwert van Otterloo, Wiebe Van Der Hoek & Michael Wooldridge - 2006 - Journal of Logic, Language and Information 15 (4):425-452.
    Understanding the flow of knowledge in multi-agent protocols is essential when proving the correctness or security of such protocols. Current logical approaches, often based on model checking, are well suited for modeling knowledge in systems where agents do not act strategically. Things become more complicated in strategic settings. In this paper we show that such situations can be understood as a special type of game – a knowledge condition game – in which a coalition “wins” if it is able to (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  34.  18
    Multi-Modal CTL: Completeness, Complexity, and an Application.Thomas Ågotnes, Wiebe Van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra & Michael Wooldridge - 2009 - Studia Logica 92 (1):1 - 26.
    We define a multi-modal version of Computation Tree Logic (CTL) by extending the language with path quantifiers $E^\delta $ and $E^\delta $ where δ denotes one of finitely many dimensions, interpreted over Kripke structures with one total relation for each dimension. As expected, the logic is axiomatised by taking a copy of a CTL axiomatisation for each dimension. Completeness is proved by employing the completeness result for CTL to obtain a model along each dimension in turn. We also show that (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  17
    A Modal Logic for Mixed Strategies.Joshua Sack & Wiebe van der Hoek - 2014 - Studia Logica 102 (2):339-360.
    Modal logics have proven to be a very successful tool for reasoning about games. However, until now, although logics have been put forward for games in both normal form and games in extensive form, and for games with complete and incomplete information, the focus in the logic community has hitherto been on games with pure strategies. This paper is a first to widen the scope to logics for games that allow mixed strategies. We present a modal logic for games in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  3
    Fully Arbitrary Public Announcements.Hans van Ditmarsch, Wiebe van der Hoek & Louwe B. Kuijer - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 252-267.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  20
    Logic for Applications, Anil Nerode and Richard A. Shore.Wiebe van der Hoek - 1998 - Journal of Logic, Language and Information 7 (2):228-229.
  38.  18
    A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples.Wiebe van der Hoek & Elias Thijsse - 2002 - Studia Logica 72 (1):61-84.
    We extend our general approach to characterizing information to multi-agent systems. In particular, we provide a formal description of an agent''s knowledge containing exactly the information conveyed by some (honest) formula . Only knowing is important for dynamic agent systems in two ways. First of all, one wants to compare different states of knowledge of an agent and, secondly, for agent a''s decisions, it may be relevant that (he knows that) agent b does not know more than . There are (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  39.  18
    Nonmonotonic Reasoning, Grigoris Antoniou.Wiebe van der Hoek - 2000 - Journal of Logic, Language and Information 9 (1):125-128.
  40.  8
    Review: Donald Nute, Defeasible Deontic Logic. [REVIEW]Wiebe van der Hoek - 2000 - Bulletin of Symbolic Logic 6 (1):89-94.
  41. Logic and the Foundations of Game and Decision Theory.Giacomo Bonanno, Wiebe van der Hoek & Michael Wooldridge (eds.) - 2008 - Amsterdam University Press.
    Translate
     
     
    Export citation  
     
    Bookmark  
  42. Lecture Notes in Computer Science (LNCS) 9394.Wiebe van der Hoek, Wesley H. Holliday & Wen-Fang Wang (eds.) - 2015 - Springer.
    No categories
     
    Export citation  
     
    Bookmark  
  43. Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings.Wiebe van der Hoek, Wesley H. Holliday & Wen-Fang Wang (eds.) - 2015 - Springer.
    No categories
     
    Export citation  
     
    Bookmark  
  44. Logic, Rationality, and Interaction.Wiebe Van Der Hoek, Wesley H. Holliday & Wen Fang Wang (eds.) - 2015 - Springer.
    No categories
     
    Export citation  
     
    Bookmark