{"type":"ScholarlyArticle","title":"The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract)","authors":[{"name":"Davide Grossi","slug":"davide-grossi","given":"Davide","family":"Grossi","affiliation":"University of Liverpool"},{"name":"Emiliano Lorini","slug":"emiliano-lorini","given":"Emiliano","family":"Lorini","affiliation":"IRIT-CNRS , Toulouse University; Franc ¸ois Schwarzentruber; ENS Rennes"},{"name":"François Schwarzentruber","slug":"francois-schwarzentruber","given":"François","family":"Schwarzentruber","affiliation":""}],"abstract":"We present a simple Ceteris Paribus Logic (CP) and study its relationship with existing logics that deal with the representation of choice and power in games in normal form including atemporal STIT, Coalition Logic of Propositional Control (CL-PC) and Dynamic Logic of Propositional Assignments (DL-PA). Thanks to the polynomial reduction of the satisfiability problem for atemporal STIT in the satisfiability problem for CP, we obtain a complexity result for the latter problem.","doi":"10.24963/ijcai.2017/710","url":"https://ijcai.org/proceedings/2017/710","pdf":"https://ijcai.org/proceedings/2017/0710.pdf","markdown":"https://ijcai.org/proceedings/2017/710.md","bibtex":"https://ijcai.org/proceedings/2017/bibtex/710","volume":{"slug":"2017","title":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2017","url":"https://ijcai.org/proceedings/2017/","year":2017,"location":"Melbourne, Australia","dates":"19-25 August 2017","editors":"Carles Sierra","isbn":"978-0-9992411-0-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2017"},"section":"Journal track","track":"Journal track","number":710,"pages":{"first":5000,"last":5004},"keywords":["Knowledge Representation, Reasoning, and Logic: Game Theory","Knowledge Representation, Reasoning, and Logic: Logics for Knowledge Representation"],"videos":[],"references":[{"position":1,"raw":"[Alur et al., 2002] R. Alur, T. Henzinger, and O. Kupferman. Alternating-time temporal logic. Journal of the ACM, 49:672-713, 2002.","title":"Alternating-time temporal logic","authors":"R Alur, T Henzinger, O Kupferman","year":"2002","venue":"Journal of the ACM","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Balbiani et al., 2008a] P. Balbiani, O. Gasquet, A. Herzig, F. Schwarzentruber, and N. Troquard. Coalition games over kripke semantics. In C. Dégremont, L. Keiff, and H. Rückert, editors, Festschrift in Honour of Shahid Rah- man, pages 1-12. College Publications, 2008.","title":"Coalition games over kripke semantics","authors":"Balbiani","year":"2008","venue":"Festschrift in Honour of Shahid Rahman","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Balbiani et al., 2008b] P. Balbiani, A. Herzig, and N. Tro- quard. Alternative axiomatics and complexity of de- liberative stit theories. Journal of Philosophical Logic, 37(4):387-406, 2008.","title":"Alternative axiomatics and complexity of deliberative stit theories","authors":"Balbiani","year":"2008","venue":"Journal of Philosophical Logic","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Balbiani et al., 2013] P. Balbiani, A. Herzig, and N. Tro- quard. Dynamic logic of propositional assignments: A well-behaved variant of PDL. In Proceedings of the 28th ACM/IEEE Symposium on Logic in Computer Science (LICS 2013), pages 143-152. IEEE Computer Society, 2013.","title":"Dynamic logic of propositional assignments: A well-behaved variant of PDL","authors":"P Balbiani, A Herzig, N Troquard","year":"2013","venue":"Proceedings of the 28th ACM/IEEE Symposium on Logic in Computer Science (LICS 2013)","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Belnap et al., 2001] N.D. Belnap, M. Perloff, and M. Xu. Facing the future: agents and choices in our indeterminist world. Oxford University Press, USA, 2001.","title":"Facing the future: agents and choices in our indeterminist world","authors":"N D Belnap, M Perloff, M Xu","year":"2001","venue":null,"doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Blackburn et al., 2001] P. Blackburn, M. de Rijke, and Y. Venema. Modal Logic. Cambridge University Press, Cambridge, 2001.","title":"Modal Logic","authors":"P Blackburn, M De Rijke, Y Venema","year":"2001","venue":null,"doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Broersen et al., 2005] J. Broersen, A. Herzig, and N. Tro- quard. From coalition logic to STIT. In A. Lomuscio, E. de Vink, and M. Wooldridge, editors, Proceedings of the Third International Workshop on Logic and Communi- cation in Multi-agent Systems (LCMAS'05), pages 23-35, 2005.","title":"From coalition logic to STIT","authors":"J Broersen, A Herzig, N Troquard","year":"2005","venue":"Proceedings of the Third International Workshop on Logic and Communication in Multi-agent Systems (LCMAS'05)","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Broersen et al., 2006] J. Broersen, A. Herzig, and N. Tro- quard. Embedding alternating-time temporal logic in strategic STIT logic of agency. Journal of Logic and Com- putation, 16(5):559-578, 2006.","title":"Embedding alternating-time temporal logic in strategic STIT logic of agency","authors":"J Broersen, A Herzig, N Troquard","year":"2006","venue":"Journal of Logic and Computation","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Broersen et al., 2007] J. Broersen, A. Herzig, and N. and Troquard. A normal simulation of coalition logic and an epistemic extension. In D. Samet, editor, Proceedings TARK'07, pages 92-101. ACM Press, 2007.","title":"A normal simulation of coalition logic and an epistemic extension","authors":"J Broersen, A Herzig, N Troquard","year":"2007","venue":"Proceedings TARK'07","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Goldblatt, 1992] R. Goldblatt. Logics of Time and Compu- tation. CSLI, 1992.","title":"Logics of Time and Computation","authors":"R Goldblatt","year":"1992","venue":null,"doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Goranko and Jamroga, 2004] V. Goranko and W. Jamroga. Comparing semantics of logics for multi-agent systems. Synthese, 139:241-280, 2004.","title":"Comparing semantics of logics for multi-agent systems","authors":"V Goranko, W Jamroga","year":"2004","venue":"Synthese","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Goranko et al., 2013] V. Goranko, W. Jamroga, and P. Tur- rini. Strategic games and truly playable effectivity func- tions. Journal of Autonomous Agents and Multi-Agent Sys- tems, (26):288-314, 2013.","title":"Strategic games and truly playable effectivity functions","authors":"V Goranko, W Jamroga, P Turrini","year":"2013","venue":"Journal of Autonomous Agents and Multi-Agent Systems","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Goranko, 2001] V. Goranko. Coalition games and alternat- ing temporal logics. In Proceedings of the 8th confer- ence on theoretical aspects of rationality and knowledge (TARK'01), pages 259-272, 2001.","title":"Coalition games and alternating temporal logics","authors":"V Goranko","year":"2001","venue":"Proceedings of the 8th conference on theoretical aspects of rationality and knowledge (TARK'01)","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Harel et al., 2000] D. Harel, D. Kozen, and J. Tiuryn. Dy- namic Logic. MIT Press, 2000.","title":"Dynamic Logic","authors":"D Harel, D Kozen, J Tiuryn","year":"2000","venue":null,"doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Herzig and Schwarzentruber, 2008] A. Herzig and F. Schwarzentruber. Properties of logics of individual and group agency. Advances in modal logic, 7:133-149, 2008.","title":"Properties of logics of individual and group agency","authors":"A Herzig, F Schwarzentruber","year":"2008","venue":"Advances in modal logic","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Herzig et al., 2011] A. Herzig, E. Lorini, F. Moisan, and N. Troquard. A dynamic logic of normative systems. In T. Walsh, editor, Proceedings of the Twenty-Second Inter- national Joint Conference on Artificial Intelligence (IJCAI 2011), pages 228-233. AAAI Press, 2011.","title":"A dynamic logic of normative systems","authors":"A Herzig, E Lorini, F Moisan, N Troquard","year":"2011","venue":"Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI 2011)","doi":null,"url":null,"internal_url":"/proceedings/2011/49"},{"position":17,"raw":"[Herzig, 2014] A. Herzig. Logics of knowledge and action: A critical analysis and challenges. Journal of Autonomous Agents and Multi-Agent Systems, DOI: 10.1007/s10458- 014-9267-z, 2014.","title":"Logics of knowledge and action: A critical analysis and challenges","authors":"A Herzig","year":"2014","venue":"Journal of Autonomous Agents and Multi-Agent Systems","doi":"10.1007/s10458-014-9267-z","url":null,"internal_url":null},{"position":18,"raw":"[Horty, 2001] J. F. Horty. Agency and Deontic Logic. Oxford University Press, Oxford, 2001.","title":"Agency and Deontic Logic","authors":"J F Horty","year":"2001","venue":null,"doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Lorini and Schwarzentruber, 2011] E. Lorini and F. Schwarzentruber. A logic for reasoning about counterfactual emotions. Artificial Intelligence, 175(3- 4):814-847, 2011.","title":"A logic for reasoning about counterfactual emotions","authors":"E Lorini, F Schwarzentruber","year":"2011","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Moulin and Peleg, 1982] H. Moulin and B. Peleg. Cores of effectivity functions and implementation theory. Journal of Mathematical Economics, 10:115-145, 1982.","title":"Cores of effectivity functions and implementation theory","authors":"H Moulin, B Peleg","year":"1982","venue":"Journal of Mathematical Economics","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Pauly, 2002] M. Pauly. A modal logic for coalitional power in games. Journal of Logic and Computation, 12(1):149- 166, 2002.","title":"A modal logic for coalitional power in games","authors":"M Pauly","year":"2002","venue":"Journal of Logic and Computation","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[van Benthem et al., 2009] J. van Benthem, P. Girard, and O. Roy. Everything else being equal: A modal logic for ce- teris paribus preferences. Journal of Philosophical Logic, 38:83-125, 2009.","title":"Everything else being equal: A modal logic for ceteris paribus preferences","authors":"Van Benthem","year":"2009","venue":"Journal of Philosophical Logic","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[van der Hoek and Pauly, 2007] W. van der Hoek and M. Pauly. Modal logic for games and information. In P. Blackburn, J. van Benthem, and F. Wolter, editors, Handbook of Modal Logic, pages 1077-1146. Elsevier, 2007.","title":"Modal logic for games and information","authors":"Hoek Van Der, Pauly ;, ] W Van Der Hoek, M Pauly","year":"2007","venue":"Handbook of Modal Logic","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[van der Hoek and Wooldridge, 2005] W. van der Hoek and M. Wooldridge. On the logic of cooperation and proposi- tional control. Artificial Intelligence, 164:81-119, 2005.","title":"On the logic of cooperation and propositional control","authors":"Hoek Van Der, ] W Wooldridge, M Van Der Hoek, Wooldridge","year":"2005","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[van Eijck, 2000] J. van Eijck. Making things happen. Studia logica, 66(1):41-58, 2000.","title":"Making things happen","authors":"J Van Eijck","year":"2000","venue":"Studia logica","doi":null,"url":null,"internal_url":null},{"position":26,"raw":"[Xu, 1998] M. Xu. Axioms for deliberative STIT. Journal of Philosophical Logic, 27:505-552, 1998.","title":"Axioms for deliberative STIT","authors":"M Xu","year":"1998","venue":"Journal of Philosophical Logic","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}