En informática, la lógica dinámica (lógica modal) es una sección de la lógica modal que describe un sistema de razonamiento que tiene en cuenta explícitamente la dinámica de los objetos.
Lista de significados de una palabra o frase con enlaces a artículos relevantes . Si llegó aquí desde el texto de otro artículo de Wikipedia, regrese y refine el enlace para apuntar al artículo correcto.