Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review