Games Logicians Play
Valentin Goranko (Stockholm University, Sweden)
This course will introduce, discuss and illustrate with examples the most important types of logical games, including: dialogue argumentation games, evaluation games, model building games, and model comparison games. These games can be used for model checking, constructive satisability testing, to characterize logical equivalences and to prove non-definability results. Optionally, I will also introduce and discuss game-theoretic semantics with incomplete information of logical languages.