Models of Agent Interaction based on Modal Logics