Question: Who expanded on Avicenna's work in temporal logic?
Sentence: An early formal system of temporal logic was studied by Avicenna.
Answer in sentence: no