Logician, working on games, Lakatos, modalities, epistemology and diagrams.