Question: What was a subject that Avicenna studied, but did not develop a theory on?
Sentence: An early formal system of temporal logic was studied by Avicenna.
Answer in sentence: yes