His work on logic, the al-Risāla al-Shamsiyya (Logic for Shams al-Dīn), was commonly used as the first major text on logic in Sunnimadrasahs, right down until the twentieth century and is "perhaps the most studied logic textbook of all time". Al-Katibi's logic was largely inspired by the formal Avicennian system of temporalmodal logic, but is more elaborate and departs from it in several ways. While Avicenna considered ten modalities and examined six of them, al-Katibi considers many more modalized propositions and examines thirteen which he considers 'customary to investigate'.
^Page 227 of al-Rahim, Ahmed H. (2003). "The Twelver Si'i Reception of Avicenna in the Mongol Period". In David C. Reisman and Ahmed H. al-Rahim (edd.). Before and After Avicenna: Proceedings of the First Conference of the Avicenna Study Group. Islamic philosophy, theology and science: texts and studies. Brill. ISBN978-90-04-12978-8.
^Street, Tony (2005). "Logic". In Peter Adamson and Richard C. Taylor (eds.). The Cambridge Companion to Arabic Philosophy. Cambridge University Press. pp. 247 & 250. ISBN978-0-521-52069-0.
^Tony Street (2000), "Toward a History of Syllogistic After Avicenna: Notes on Rescher's Studies on Arabic Modal Logic", Journal of Islamic Studies11 (2): 209–228