•  177
    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.
  •  135
    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
  •  104
    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
  •  97
    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
  •  84
    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
  •  79
    In the literature there are at least two main formal structures to deal with situations of interactive epistemology: Kripke models and type spaces. As shown in many papers :149–225, 1999; Battigalli and Siniscalchi in J Econ Theory 106:356–391, 2002; Klein and Pacuit in Stud Log 102:297–319, 2014; Lorini in J Philos Log 42:863–904, 2013), both these frameworks can be used to express epistemic conditions for solution concepts in game theory. The main result of this paper is a formal comparison be…Read more
  •  78
    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
  •  69
    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
  •  50
    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
  •  36
    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
  •  35
    This book offers a widely interdisciplinary approach to investigating important questions surrounding the cognitive foundations of group attitudes and social interaction. The volume tackles issues such as the relationship between individual and group attitudes, the cognitive bases of group identity and group identification and the link between emotions and individual attitudes. This volume delves into the links between individual attitudes and how they are reflected in shared attitudes where com…Read more
  •  35
    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
  •  32
    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.
  •  31
    Social Intelligence
    AI and Society 34 (4): 689-689. 2019.
  •  29
    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.
  •  23
    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
  •  23
    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
  •  19
    Logic, Rationality, and Interaction (edited book)
    with P. Blackburn and M. Guo
    Springer. 2019.
  •  18
    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
  •  17
    Social Intelligence
    AI and Society 34 (4): 689-689. 2019.
  •  17
    Preface
    Journal of Applied Non-Classical Logics 27 (1-2): 90-90. 2017.
  •  17
    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.
  •  17
    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.
  •  16
    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.
  •  14
    On the dynamics of institutional agreements
    with Andreas Herzig and Tiago Lima
    Synthese 171 (2): 321-355. 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 \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\rm A}_{G:x} \varphi$$\end{document} reading ‘if the agents in the set of agents G identify themselves with inst…Read more
  •  14
    Rethinking epistemic logic with belief bases
    Artificial Intelligence 282 (C): 103233. 2020.
  •  13
    Logic and Interaction: Foreword to the Special Issue
    Journal of Logic, Language and Information 31 (2): 137-139. 2022.
  •  12
    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. pp. 339-362. 2018.
    We analyze a recent trend in epistemic logic which consists in studying construction of knowledge from the agents’ observational abilities. It is based on the intuition that an agent’s knowledge comes from three possible sources: her observations, communication with other agents, and inference. The approaches mainly focus on the former two and suppose that the object of observations are propositional variables and that agents learn from public announcements. This allows to model knowledge in a m…Read more