Logic-based technologies for multi-agent systems: a systematic literature review