Specification and Verification of Agent Interaction Protocols in a Logic-based System