En este artículo, presentamos una novedosa lógica temporal, la extensión no monótona de la lógica Aquí-Allá, para abordar la dificultad de razonar sobre sistemas dinámicos de resolución temporal y numérica de grano fino mediante enfoques lógicos como la Programación por Conjuntos de Respuestas (ASP). Esta combina la lógica temporal lineal Aquí-Allá, una extensión de ASP existente, con la lógica Aquí-Allá con restricciones, lo que permite la integración y manipulación directas del razonamiento temporal no monótono y las restricciones numéricas. El esquema presentado establece un marco lógico básico para el manejo de sistemas dinámicos complejos de alta resolución dentro del paradigma ASP.
