5 found
Sort by:
  1. Nicolas Troquard & Dirk Walther (2012). On Satisfiability in ATL with Strategy Contexts. In. In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. 398--410.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Nicolas Troquard, Wiebe Hoek & Michael Wooldridge (2011). Reasoning About Social Choice Functions. Journal of Philosophical Logic 40 (4):473-498.
    We introduce a logic specifically designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent preferences. We establish a correspondence between formulae in the logic and properties of social choice functions, and show that the logic is expressively complete with respect to social choice functions, i.e., that every social choice function can be characterised as a formula of the logic. We prove that the logic is decidable, and give a (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Nicolas Troquard, Wiebe van der Hoek & Michael Wooldridge (2011). Reasoning About Social Choice Functions. Journal of Philosophical Logic 40 (4):473-498.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. Jan Broersen, Andreas Herzig & Nicolas Troquard (2009). What Groups Do, Can Do, and Know They Can Do: An Analysis in Normal Modal Logics. Journal of Applied Non-Classical Logics 19 (3):261-289.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Philippe Balbiani, Andreas Herzig & Nicolas Troquard (2008). Alternative Axiomatics and Complexity of Deliberative Stit Theories. Journal of Philosophical Logic 37 (4):387 - 406.
    We propose two alternatives to Xu’s axiomatization of Chellas’s STIT. The first one simplifies its presentation, and also provides an alternative axiomatization of the deliberative STIT. The second one starts from the idea that the historic necessity operator can be defined as an abbreviation of operators of agency, and can thus be eliminated from the logic of Chellas’s STIT. The second axiomatization also allows us to establish that the problem of deciding the satisfiability of a STIT formula without temporal operators (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation