{"id":1206,"date":"2025-06-25T08:52:58","date_gmt":"2025-06-25T06:52:58","guid":{"rendered":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/?p=1206"},"modified":"2025-06-25T08:52:58","modified_gmt":"2025-06-25T06:52:58","slug":"june-2025-talk-by-davide-catta","status":"publish","type":"post","link":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/2025\/06\/25\/june-2025-talk-by-davide-catta\/","title":{"rendered":"[June 2025] Talk by Davide Catta"},"content":{"rendered":"\n<p><strong>First Order Coalition Logic : Model Checking, Compl\u00e9tude et Satisfaisabilit\u00e9<\/strong><br>Davide Catta (LIPN, Paris 13)<br><em>June 25, 2025<\/em><br>Les logiques pour le raisonnement strat\u00e9gique constituent une vaste famille d\u2019outils formels con\u00e7us pour mod\u00e9liser, v\u00e9rifier et analyser les capacit\u00e9s et les strat\u00e9gies (individuels ou collectifs) d\u2019agents autonomes, dans un environnement comp\u00e9titif.<br>Nous introduisons First Order Coalition Logic (FOCL), qui combine les intuitions de Coalition Logic (CL) et de Strategy Logic (SL). Plus pr\u00e9cis\u00e9ment, FOCL permet une quantification arbitraire sur les actions de groupes d\u2019agents.<br>Dans cet expos\u00e9, nous montrons que FOCL est strictement plus expressive que d\u2019autres logiques de coalition connues, puis nous discutons de sa proc\u00e9dure de model checking. Ensuite, nous fournissons une axiomatisation coh\u00e9rente et compl\u00e8te de cette logique, qui est, \u00e0 notre connaissance, la premi\u00e8re axiomatisation d\u2019une logique strat\u00e9gique dans la litt\u00e9rature. Enfin, nous montrons que le probl\u00e8me de la satisfaisabilit\u00e9 est ind\u00e9cidable.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>First Order Coalition Logic : Model Checking, Compl\u00e9tude et Satisfaisabilit\u00e9Davide Catta (LIPN, Paris 13)June 25, 2025Les logiques pour le raisonnement strat\u00e9gique constituent une vaste famille d\u2019outils formels con\u00e7us pour mod\u00e9liser, v\u00e9rifier et analyser les capacit\u00e9s et les strat\u00e9gies (individuels ou collectifs) d\u2019agents autonomes, dans un environnement comp\u00e9titif.Nous introduisons First Order Coalition Logic (FOCL), qui combine &hellip; <a href=\"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/2025\/06\/25\/june-2025-talk-by-davide-catta\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;[June 2025] Talk by Davide Catta&#8221;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-1206","post","type-post","status-publish","format-standard","hentry","category-non-classe"],"_links":{"self":[{"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/posts\/1206","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/comments?post=1206"}],"version-history":[{"count":1,"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/posts\/1206\/revisions"}],"predecessor-version":[{"id":1207,"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/posts\/1206\/revisions\/1207"}],"wp:attachment":[{"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/media?parent=1206"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/categories?post=1206"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/tags?post=1206"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}