Cílem kapitoly je představit logické formalismy pro studium znalostí agentů, které jsou relevantní při modelování racionálního jednání pomocí teorie her.
