An early formal system of temporal logic was studied by Avicenna. Who's system of logic did Avicenna further develop