This seminar will focus on current work on dynamic logics of goal- driven agents, how it differs from epistemic foundations of game theory encoded in structures like 'type spaces', and where the two research programs might meet.