I want to know the answer to the following question:
Who expanded on Avicenna's work in temporal logic?
All the background I'm provided with is that "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.". Is that enough to answer the question?