Logics for Multiagent Systems