Diversity of Logical Agents in Games
Johan van Benthem, Fenrong Liu

Abstract:
Logical agents are usually taken to be epistemically perfect, but real
agents may have various imperfections, in particular, due to bounded
memory. This paper is a brief exploration of how different types of
agents can be described in logical terms, how they update their
information, and how they can even co-exist inside the same logical
system.

Keywords: dynamic-epistemic logic, bounded agents, product update,
belief revision, games