An early formal system of temporal logic was studied by Avicenna. Whose law of contradiction did Avicenna endorse?