Et tidligt formelt system af tidsmæssig logik blev studeret af Avicenna. Selv om han ikke udviklede en reel teori om tidsmæssige propositioner, studerede han forholdet mellem temporalis og implikationen. Avicennas arbejde blev videreudviklet af Najm al-Dīn al-Qazwīnī al-Kātibī og blev det dominerende system af islamisk logik indtil moderne tid. Avicennian logik har også påvirket flere tidlige europæiske logikere som Albertus Magnus og William of Ockham. Avicenna tilsluttede loven om uoverensstemmelse foreslået af Aristoteles, at en kendsgerning ikke kunne være både sand og falsk på samme tid og i samme betydning af den anvendte terminologi. Han sagde: "Enhver, der nægter loven om uoverensstemmelse, bør slås og brændes, indtil han indrømmer, at det at blive slået, er ikke det samme som ikke at blive slået, og at blive brændt, er ikke det samme som ikke at blive brændt."
|