I want to know the answer to the following question:
What was a subject that Avicenna studied, but did not develop a theory on?
All the background I'm provided with is that "An early formal system of temporal logic was studied by Avicenna.". Is that enough to answer the question?