An early formal system of temporal logic was studied by Avicenna. who studied and developed theories on temporal logic