Guest lecture by Sergei Soloviev (IRIT, Toulouse)

On 17 March, Sergei Soloviev (IRIT, Toulouse) will give a talk at a special type theory seminar.

Time: 14.00--16.00

Room: South building 0-817 (Dudich Endre terem)

Title and abstract: 

Asymmetry in Semantic Games

Our aim is to study how the asymmetrical constraints imposed on Verifier and Falsifier may influence Game Semantics. These constraints may concern computational power (complexity of strategies) of the players, their access to information such as history (previous moves), the right to backtrack, etc. To some extent we have already studied certain cases where semantics has been modified. For example, if Verifier is able to compute a<a universal function for the set of the strategies of Falsifier, under certain conditions Verifier may win in semantic games based on formulas that are false.