Logic and Computation Courses

Introductory Courses

Actions, Blames, and Regrets

Pavel Naumov

Week 1, August 3-7, 2020


Coalition logics and closely related STIT logics are widely studied formalisms for describing strategic power of agents and their coalitions. Recently, variations of these logics have been used to reason about counterfactual emotions (such as regret, rejoicing, disappointment, elation), socially friendly strategies, and blameworthiness. The course will introduce students to coalition logics, the above mentioned variations of these logics, and explore the directions for the future research in this area.




Connect with us

32nd European Summer School in Logic, Language and Information - ESSLLI 2021
Please send any queries to

  • esslli@uu.nl