Hintikka, Jaakko(site info)
Professor of Philosophy, Boston University. Pioneer of game-theoretical semantics in logic, branching quantifiers, and a prominent critic of the thesis that formalisation means formalisation in (Fregean) first-order logic.
http://www.bu.edu/philo/faculty/hintikka.html