• Possible Worlds Semantics Based on Observation and Communication
    with Faustine Maffre and Andreas Herzig
    In Hans Van Ditmarsch & Gabriel Sandu (eds.), Jaakko Hintikka on Knowledge and Game Theoretical Semantics, Springer. 2018.
  • Announcements to Attentive Agents
    with François Schwarzentruber, Pere Pardo, Andreas Herzig, Hans Ditmarsch, and Thomas Bolander
    Journal of Logic, Language and Information 25 (1): 1-35. 2016.
    In public announcement logic it is assumed that all agents pay attention to the announcement. Weaker observational conditions can be modelled in action model logic. In this work, we propose a version of public announcement logic wherein it is encoded in the states of the epistemic model which agents pay attention to the announcement. This logic is called attention-based announcement logic. We give an axiomatization of the logic and prove that complexity of satisfiability is the same as that of p…Read more
  •  2
    AGM Contraction and Revision of Rules
    with Roland Mühlenbernd and Laurent Perrussel
    Journal of Logic, Language and Information 25 (3 - 4): 273-297. 2016.
    In this paper we study AGM contraction and revision of rules using input/output logical theories. We replace propositional formulas in the AGM framework of theory change by pairs of propositional formulas, representing the rule based character of theories, and we replace the classical consequence operator Cn by an input/output logic. The results in this paper suggest that, in general, results from belief base dynamics can be transferred to rule base dynamics, but that a similar transfer of AGM t…Read more
  •  74
    A dynamic logic of agency I: Stit, capabilities and powers
    Journal of Logic, Language and Information 19 (1): 89-121. 2010.
    The aim of this paper, is to provide a logical framework for reasoning about actions, agency, and powers of agents and coalitions in game-like multi-agent systems. First we define our basic Dynamic Logic of Agency ( ). Differently from other logics of individual and coalitional capability such as Alternating-time Temporal Logic (ATL) and Coalition Logic, in cooperation modalities for expressing powers of agents and coalitions are not primitive, but are defined from more basic dynamic logic opera…Read more
  •  7
    The Dynamics of Epistemic Attitudes in Resource-Bounded Agents
    with Philippe Balbiani and David Fernández-Duque
    Studia Logica 107 (3): 457-488. 2019.
    The paper presents a new logic for reasoning about the formation of beliefs through perception or through inference in non-omniscient resource-bounded agents. The logic distinguishes the concept of explicit belief from the concept of background knowledge. This distinction is reflected in its formal semantics and axiomatics: we use a non-standard semantics putting together a neighborhood semantics for explicit beliefs and relational semantics for background knowledge, and we have specific axioms …Read more
  •  6
    On the dynamics of institutional agreements
    with Andreas Herzig and Tiago Lima
    Synthese 171 (2): 321-355. 2009.
  •  7
    Preface
    with Andreas Herzig and David Pearce
    Journal of Applied Non-Classical Logics 27 (1-2): 90-90. 2017.
  •  8
    Social Intelligence
    with Andreas Herzig and David Pearce
    AI and Society 1-1. forthcoming.
  •  1
    Conflicting goals and their impact on games where payoffs are more or less ambiguous
    with Astrid Hopfensitz and Frederic Moisan
    Behavioral and Brain Sciences 37 (1): 85-87. 2014.
  •  33
    The effects of social ties on coordination: conceptual foundations for an empirical analysis (review)
    with Giuseppe Attanasi, Astrid Hopfensitz, and Frédéric Moisan
    Phenomenology and the Cognitive Sciences 13 (1): 47-73. 2014.
    This paper investigates the influence that social ties can have on behavior. After defining the concept of social ties that we consider, we introduce an original model of social ties. The impact of such ties on social preferences is studied in a coordination game with outside option. We provide a detailed game theoretical analysis of this game while considering various types of players, i.e., self-interest maximizing, inequity averse, and fair agents. In addition to these approaches that require…Read more
  •  3
    Special Issue: Information Dynamics in Artificial Societies
    with Laurent Perrussel and Roland Mühlenbernd
    Journal of Logic, Language and Information 25 (3-4): 269-271. 2016.
  •  23
    A minimal logic for interactive epistemology
    Synthese 193 (3): 725-755. 2016.
    We propose a minimal logic for interactive epistemology based on a qualitative representation of epistemic individual and group attitudes including knowledge, belief, strong belief, common knowledge and common belief. We show that our logic is sufficiently expressive to provide an epistemic foundation for various game-theoretic solution concepts including “1-round of deletion of weakly dominated strategies, followed by iterated deletion of strongly dominated strategies” ) and “2-rounds of deleti…Read more
  •  8
    A Logic Of Trust And Reputation
    with Andreas Herzig, Jomi Hübner, and Laurent Vercouter
    Logic Journal of the IGPL 18 (1): 214-244. 2010.
    The aim of this paper is to present a logical framework in which the concepts of trust and reputation can be formally characterized and their properties studied. We start from the definition of trust proposed by Castelfranchi & Falcone . We formalize this definition in a logic of time, action, beliefs and choices. Then, we provide a refinement of C&F’s definition by distinguishing two general types of trust: occurrent trust and dispositional trust. In the second part of the paper we present a de…Read more
  •  9
    Grounding power on actions and mental attitudes
    with N. Troquard, A. Herzig, and J. Broersen
    Logic Journal of the IGPL 21 (3): 311-331. 2013.
  •  58
    A dynamic logic of agency II: Deterministic dla {\mathcal{dla}} , coalition logic, and game theory
    Journal of Logic, Language and Information 19 (3): 327-351. 2010.
    We continue the work initiated in Herzig and Lorini (J Logic Lang Inform, in press) whose aim is to provide a minimalistic logical framework combining the expressiveness of dynamic logic in which actions are first-class citizens in the object language, with the expressiveness of logics of agency such as STIT and logics of group capabilities such as CL and ATL. We present a logic called ( Deterministic Dynamic logic of Agency ) which supports reasoning about actions and joint actions of agents an…Read more
  •  61
    Computer-mediated trust in self-interested expert recommendations
    with Jonathan Ben-Naim, Jean-François Bonnefon, Andreas Herzig, and Sylvie Leblois
    AI and Society 25 (4): 413-422. 2010.
    Important decisions are often based on a distributed process of information processing, from a knowledge base that is itself distributed among agents. The simplest such situation is that where a decision-maker seeks the recommendations of experts. Because experts may have vested interests in the consequences of their recommendations, decision-makers usually seek the advice of experts they trust. Trust, however, is a commodity that is usually built through repeated face time and social interactio…Read more
  •  16
    I first argue against the “psycho-phobia” that has characterized the foundation of the social sciences and invalidates many social policies. I then present a basic ontology of social actions by examining their most important forms, with a special focus on pro-social actions, in particular Goal Delegation and Goal Adoption. These action types are the basic atoms of exchange, cooperation, group action, and organization. The proposed ontology is grounded in the mental representations of the agents …Read more
  •  16
    A STIT Logic for Reasoning About Social Influence
    with Giovanni Sartor
    Studia Logica 104 (4): 773-812. 2016.
    In this paper we propose a method for modeling social influence within the STIT approach to action. Our proposal consists in extending the STIT language with special operators that allow us to represent the consequences of an agent’s choices over the rational choices of another agent.
  • On Modal Logics of Group Belief
    with Dominique Longin, Andreas Herzig, and Benoit Gaudou
    In Emiliano Lorini & Andreas Herzig (eds.), The Cognitive Foundations of Group Attitudes and Social Interaction, Springer Verlag. 1st ed. 2015.
  •  126
    A logic of intention and attempt
    Synthese 163 (1). 2008.
    We present a modal logic called (logic of intention and attempt) in which we can reason about intention dynamics and intentional action execution. By exploiting the expressive power of , we provide a formal analysis of the relation between intention and action and highlight the pivotal role of attempt in action execution. Besides, we deal with the problems of instrumental reasoning and intention persistence.
  •  2
    Announcements to Attentive Agents
    with Thomas Bolander, Hans van Ditmarsch, Andreas Herzig, Pere Pardo, and François Schwarzentruber
    Journal of Logic, Language and Information 25 (1): 1-35. 2016.
    In public announcement logic it is assumed that all agents pay attention to the announcement. Weaker observational conditions can be modelled in action model logic. In this work, we propose a version of public announcement logic wherein it is encoded in the states of the epistemic model which agents pay attention to the announcement. This logic is called attention-based announcement logic. We give an axiomatization of the logic and prove that complexity of satisfiability is the same as that of p…Read more
  •  111
    We develop a conceptual and formal clarification of notion of surprise as a belief-based phenomenon by exploring a rich typology. Each kind of surprise is associated with a particular phase of cognitive processing and involves particular kinds of epistemic representations (representations and expectations under scrutiny, implicit beliefs, presuppositions). We define two main kinds of surprise: mismatch-based surprise and astonishment. In the central part of the paper we suggest how a formal mode…Read more
  •  12
    From self-regarding to other-regarding agents in strategic games: a logical analysis
    Journal of Applied Non-Classical Logics 21 (3-4): 443-475. 2011.
    I propose a modal logic that enables to reason about self-regarding and otherregarding motivations in strategic games. This logic integrates the concepts of joint action, belief, individual and group payoff. The first part of the article is focused on self-regarding agents. A self-regarding agent decides to perform a certain action only if he believes that this action maximizes his own personal benefit. The second part of the article explores different kinds of other-regarding motivations such a…Read more
  •  77
    On the Dynamics of Institutional Agreements
    with Andreas Herzig, Tiago de Lima, and Emiliano Lorini
    Synthese 171 (2). 2009.
    In this paper we investigate a logic for modelling individual and collective acceptances that is called acceptance logic. The logic has formulae of the form $A_{Gx} \phi $ reading 'if the agents in the set of agents G identify themselves with institution x then they together accept that φ'. We extend acceptance logic by two kinds of dynamic modal operators. The first kind are public announcements of the form x!ψ, meaning that the agents learn that ψ is the case in context x. Formulae of the form…Read more
  •  25
    This paper proposes a logical framework for representing static and dynamic properties of different kinds of individual and collective attitudes. A complete axiomatization as well as a decidability result for the logic are given. The logic is applied to game theory by providing a formal analysis of the epistemic conditions of iterated deletion of weakly dominated strategies (IDWDS), or iterated weak dominance for short. The main difference between the analysis of the epistemic conditions of iter…Read more
  •  11
    A logic of trust and reputation
    with Andreas Herzig, France Jomi F. Hübner, and Laurent Vercouter
    Logic Journal of the IGPL 18 (1). 2010.
  •  19
    The Strength of Desires: A Logical Approach
    with Didier Dubois and Henri Prade
    Minds and Machines 27 (1): 199-231. 2017.
    The aim of this paper is to propose a formal approach to reasoning about desires, understood as logical propositions which we would be pleased to make true, also acknowledging the fact that desire is a matter of degree. It is first shown that, at the static level, desires should satisfy certain principles that differ from those to which beliefs obey. In this sense, from a static perspective, the logic of desires is different from the logic of beliefs. While the accumulation of beliefs tend to re…Read more
  •  17
    Temporal logic and its application to normative reasoning
    Journal of Applied Non-Classical Logics 23 (4): 372-399. 2013.
    I present a variant of with time, called, interpreted in standard Kripke semantics. On the syntactic level, is nothing but the extension of atemporal individual by: the future tense and past tense operators, and the operator of group agency for the grand coalition. A sound and complete axiomatisation for is given. Moreover, it is shown that supports reasoning about interesting normative concepts such as the concepts of achievement obligation and commitment.