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.