Avicenna's work was further developed by Najm al-Dīn al-Qazwīnī al-Kātibī and became the dominant system of Islamic logic until modern times.
Who expanded on Avicenna's work in temporal logic?
Najm al-Dīn al-Qazwīnī al-Kātibī