An early formal system of temporal logic was studied by Avicenna. What became the dominant system of Islamic logic?