Este documento es una visión general de algunos desarrollos recientes y en curso de sistemas lógicos formales diseñados para razonar sobre sistemas de agentes racionales que actúan en búsqueda de sus metas individuales y colectivas, explícitamente especificadas en el lenguaje como argumentos de los operadores estratégicos, en un contexto socialmente interactivo de objetivos colectivos y actitudes que guían y limitan el comportamiento de los agentes.