Toon vak Logical Aspects of Multi-agent Systems