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 "An early formal system of temporal logic was studied by Avicenna.". Is that enough to answer the question?