Who expanded on Avicenna's work in temporal logic?