Skip to main content

Logics for strategic reasoning

Study of logical languages to reason about properties of games.

Faculty

Research

Past Members