Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review