The next meeting of the Digital Culture Seminar

will be held on May 26, 2026 (Tuesday) at 10:00 a.m. in Room 278 of IMI – BAS.

A talk on:

Logics for Strategic Reasoning about Socially Interacting Rational Agents

will be delivered by Valentin Goranko, Stockholm University, Sweden.

Abstract: An important aspect of socially interacting rational agents are the strategic abilities of individual agents and groups (coalitions) of agents to guarantee the achievement of their desired goals, while acting and interacting within an entire society of agents. Several logical systems have been proposed for formalising and capturing such reasoning were introduced the early 2000s, starting with the Coalition Logic (CL), the Alternating Time Temporal Logic (ATL), and some extensions of these.

Coalition Logic provides a natural, but rather restricted perspective: the agents in the proponent coalition are viewed as acting in full cooperation with each other but in complete opposition to all agents outside of the coalition, which are thus treated as adversaries. The Alternating Time Temporal Logic extends Coalition Logic with temporal operators allowing for expressing long-term temporised goals.

The strategic interaction in real societies is much more complex, usually involving various patterns combining cooperation and competition. To capture these, more expressive and versatile logical frameworks are needed.

In this talk I will give a brief overview of some of these logics and will illustrate their use with some examples.