I am interested in logic and natural language, quantification theory, and various applications of game-theoretical methods to the study of logic (game-theoretical semantics, dialogical games, etc.) In the last 20 years I have developed with several collaborators (initially with Jaakko Hintikka) a logical system called Independence-Friendly Logic (IF logic). I applied it to the study of various natural language phenomena, the expressibility of truth, but most recently I have been interested in the investigation of various notions of dependence and independence in logic.