Instruction seminar on logical aspects of Multi-Agent Systems