I work primarily with epistemic modal logics and topology, and their applications in game theory and decision theory.