Institute for Logic, Language and Computation (ILLC); Universiteit van Amsterdam (UvA), The Netherlands
Nonclassical logics, inquisitive logic, intuitionistic logic, modal logic, model theory, logic and games