<s>[INST]Avicenna'nın zamansal mantık konusundaki çalışmalarını kim genişletti?[/INST]Erken bir resmi zamansal mantık sistemi Avicenna tarafından incelenmiştir. Gerçek bir zamansal önermeler teorisi geliştirmemiş olmasına rağmen, zamansal ile ima arasındaki ilişkiyi araştırmıştır. Avicenna'nın çalışmaları Najm al-Dīn el-Qazwīnī-Kātibī tarafından daha da geliştirildi ve günümüze kadar İslami mantığın baskın sistemi haline geldi. Avicennian mantığı ayrıca Albertus Magnus ve Ockham'ın William'ı gibi bazı erken Avrupalı ​​logistleri de etkiledi. Avicenna, Aristoteles tarafından önerilen çelişki yasasını, aynı zamanda ve kullanılan terminolojinin aynı anda hem doğru hem de yanlış olamayacağını onayladı. “Çelişmeme yasasını reddeden herkesin, yenilmenin, yenilmenin aynı olmadığını ve yakılmanın aynı olmadığını kabul edene kadar dövülüp yakılması gerektiğini” söyledi.</s>