Switch to: References

Add citations

You must login to add citations.
  1. 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) (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  • A logic for reasoning about counterfactual emotions.Emiliano Lorini & François Schwarzentruber - 2011 - Artificial Intelligence 175 (3-4):814-847.
  • Reasoning about cooperation, actions and preferences.Lena Kurzen - 2009 - Synthese 169 (2):223 - 240.
    In this paper, a logic for reasoning about coalitional power is developed which explicitly represents agents’ preferences and the actions by which the agents can achieve certain results. A complete axiomatization is given and its satisfiability problem is shown to be decidable and EXPTIME -hard.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  • 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 (QCGs) 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 (CL), a formalism intended to facilitate reasoning about coalitional powers in game-like multiagent systems. We introduce a correspondence relation (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations