Avicenna and ūsī on Modal Logic · Study