Modeling Reasoning in a Social Setting Johan van Benthem Abstract: In this survey and position paper, we discuss some issues in logical modeling of interactive behavior. We draw together a number of lines in current logics for social action, emphasizing uses of ‘small models’ rather than complex spaces.