Skip to main content

Logics for strategic reasoning

Study of logical languages to reason about properties of games.

Faculty

Students

Past Members

Paul Harrenstein
Giuseppe Perelli