6 found
Sort by:
  1. Daniele Porello & Nicolas Troquard (2014). A Resource-Sensitive Logic of Agency. In Ios Press (ed.), Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14), Prague, Czech Republic. 2014. 723-728.
    We study a fragment of Intuitionistic Linear Logic combined with non-normal modal operators. Focusing on the minimal modal logic, we provide a Gentzen-style sequent calculus as well as a semantics in terms of Kripke resource models. We show that the proof theory is sound and complete with respect to the class of minimal Kripke resource models. We also show that the sequent calculus allows cut elimination. We put the logical framework to use by instantiating it as a logic of agency. (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Nicolas Troquard & Dirk Walther (2012). On Satisfiability in ATL with Strategy Contexts. 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  
  3. 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  
  4. 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  
  5. 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  
  6. 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