Lógica temporal de tiempo alterno , una lógica temporal de tiempo ramificado que describe de forma natural los cálculos de sistemas multiagente y juegos multijugador.
Esta página de desambiguación enumera artículos asociados con el título ATL . Si un enlace interno lo llevó hasta aquí, es posible que desee cambiar el enlace para que apunte directamente al artículo deseado.