This dissertation presents a logic-based declarative programming language, STAPLE, designed to facilitate the development of teams of autonomous agents capable of coordinating and communicating effectively without explicitly coding such behaviors. Building on Joint Intention Theory, the work introduces a formal semantics for multi-agent communication and extends teamwork theory to support a broader range of collaborative interactions. STAPLE integrates modal, dynamic, and temporal logic with built-in teamwork and communication constructs. Its effectiveness is demonstrated in scenarios involving fault-tolerant systems and human-agent collaboration, where correct team behaviors emerge naturally from high-level specifications, highlighting its potential to bridge the gap between theoretical models of teamwork and practical multi-agent system implementation.
