Valentin Goranko

Language & Logic

Week Two - 11.00-12.30 - Level: I

Room: N2

Abstract

Games play important role in defining, understanding and computing logical semantics. They can be used to evaluate the truth of a logical formula in a given model, to establish logical equivalence or non-equivalence of two models of a given logical language, or to show non-definability of a property of models in a given logical language. This course will introduce, discuss and illustrate with examples some of the most popular and important logical games, such as dialogue and argumentation games, formula evaluation (aka, model checking) games and model comparison games for classical, modal and temporal logics. Eventually we will discuss game semantics of logical languages.