Who expanded on Avicenna's work in permanent logic