Multiagentsystems algorithmic game_theoretic andlogicalfoundations Multiagentsystems:algorithmic,game-theoretic,andlogicalfoundations