La lógica temporal de intervalo (también lógica de intervalo ) es una lógica temporal para representar el razonamiento lógico proposicional y de primer orden sobre períodos de tiempo que es capaz de manejar tanto la composición secuencial como la paralela. En lugar de tratar con secuencias infinitas de estados, las lógicas de intervalo temporal se ocupan de secuencias finitas.
La lógica del intervalo temporal encuentra aplicación en la informática , la inteligencia artificial y la lingüística . La lógica temporal de intervalo de primer orden se desarrolló inicialmente en la década de 1980 para la especificación y verificación de protocolos de hardware . La lógica del intervalo temporal ( LIT ) es una forma específica de lógica temporal , desarrollada originalmente por Ben Moszkowski para su tesis en la Universidad de Stanford . [1] Es útil en la descripción formal de hardware y software.para sistemas basados en computadora. Hay herramientas disponibles para ayudar en este proceso. Tempura proporciona un marco de ITL ejecutable . La composicionalidad es una cuestión y una consideración importantes en el diseño del DIT.
Derivados notables de lógica temporal intervalo son la lógica intervalo de gráfica , la lógica intervalo firmado y futuro lógica intervalo .