Un sistema formal temprano de lógica temporal fue estudiado por avicena. A pesar de que no desarrolló una teoría real de las propuestas temporales, estudió la relación entre temporalis y la implicación. el trabajo de avicena fue desarrollado más por najm al-Din al-Qazwini al-Kātibī y se convirtió en el sistema dominante de la lógica islámica hasta los tiempos modernos. la lógica avicennian también influyó en varios primeros lógicos europeos como albertus magnus y william de ockham. Avicena respaldó la ley de noncontradiction propuesta por Aristóteles, que un hecho no podía ser verdadero y falso al mismo tiempo y en el mismo sentido de la terminología utilizada. Él declaró, cualquiera que niegue la ley de noncontradiction debe ser golpeado y quemado hasta que admite que para ser golpeado no es lo mismo que no ser golpeado, y para ser quemado no es lo mismo que no ser quemado.
Quién se expandió en el trabajo de avicena en lógica temporal?
Najm al-Din al-Qazwini al-Kātibī