An early formal system of temporal logic was studied by Avicenna. Who's system of logic is dominant in modern times?