Attribute Global Types for Dynamic Checking of Protocols in Logic-based Multiagent Systems