qnli question: Who expanded on Avicenna's work in temporal logic? sentence: 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.