The specification and verification of cognitive agent systems leads to the integration of formal systems, such as the combination of logics of beliefs, goals and intentions in Rao and Georgeff’s BDICTL logic, the merging of conflicting informational attitudes such as knowledge bases or belief sources into beliefs, and the merging of conflicting motivational attitudes such as desires, obligation...