Game-Theoretical Semantics for First Order Logic Slawek Nowaczyk, AI@CSLU AI seminar, October 15th, 2004 Abstract: In this seminar I would like to talk about an alternative to Alfred Tarski's model-theoretical semantics for First Order Logic, namely the so called game-theoretical semantics. In the basic framework of standard FOL the two are equivalent, but the game-theoretical one offers some interesting ways of extending FOL into more expressive logics. I will briefly sketch one such extension - in the form of Independence Friendly Logic, or rather a family of them - which offers expressive power between that of first and second order logics.