Switch to: References

Add citations

You must login to add citations.
  1. Grounding Power on Actions and Mental Attitudes.E. Lorini, N. Troquard, A. Herzig & J. Broersen - 2013 - Logic Journal of the IGPL 21 (3):311-331.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Dynamic Logic of Agency I: Stit, Capabilities and Powers.Andreas Herzig & Emiliano Lorini - 2010 - Journal of Logic, Language and Information 19 (1):89-121.
    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 operators of action and (historic) (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • From Self-Regarding to Other-Regarding Agents in Strategic Games: A Logical Analysis.Emiliano Lorini - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):443-475.
    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 as fairness and reciprocity. Differently from (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Deontic Logic for Strategic Games.Allard Tamminga - 2013 - Erkenntnis 78 (1):183-200.
    We develop a multi-agent deontic action logic to study the logical behaviour of two types of deontic conditionals: (1) conditional obligations, having the form "If group H were to perform action aH, then, in group F's interest, group G ought to perform action aG" and (2) conditional permissions, having the form "If group H were to perform action aH, then, in group F's interest, group G may perform action aG". First, we define a formal language for multi-agent deontic action logic (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Representing and Reasoning About Game Strategies.Dongmo Zhang & Michael Thielscher - 2015 - Journal of Philosophical Logic 44 (2):203-236.
    As a contribution to the challenge of building game-playing AI systems, we develop and analyse a formal language for representing and reasoning about strategies. Our logical language builds on the existing general Game Description Language and extends it by a standard modality for linear time along with two dual connectives to express preferences when combining strategies. The semantics of the language is provided by a standard state-transition model. As such, problems that require reasoning about games can be solved by the (...)
    Download  
     
    Export citation  
     
    Bookmark