Ahmadi-Aframjani. (1387). A Critique of Temporal Analysis of Modal Propositions. Wisdom and Philosophy, 13(4), 7-28. [In Persian]
Al-Farabi. (1408 AH). Kitab Bari Arminiyas wa Ma'nah al-Qawl fi al-Ibarah (Al-Mantiqiyat lil-Farabi), Volume: 1. Qom: Public Library of Grand Ayatollah Mar'ashi Najafi (RA). [In Arabic]
Al-Farabi. (1963). Al Farabi's Short Commentary on Aristotle's Prior Analytics. University of Pittsburgh Press.
Aristotle. (1831–1870). Aristotelis Opera, Vols. 1, 2 Text, ed. I. Bekker, Berlin.
Aristotle. (1984). The Complete Works of Aristotle: The Revised Oxford Translation, Two Vols. Edited by Jonathan Barnes, Princeton, New Jersey, Princeton University.
Avicenna. (1379). Al-Najah min al-Gharq fi Bahr al-Dalalat. Tehran: University of Tehran. [In Arabic]
Avicenna. (1392). Translation and Commentary on Al-Isharat wa al-Tanbihat: Logic (Volume 2) (translated and commented by Hasan Malekshahi). Tehran: Soroush Publications. [In Persian]
Avicenna. (1403 AH). Al-Isharat wa al-Tanbihat (with commentary by Khwaja Nasir al-Din al-Tusi and Al-Muhakamat by Qutb al-Din al-Razi). Qom: Office of Book Publication. [In Arabic]
Avicenna. (1405 AH a). Al-Shifa: Logic: Al-Ibarah. Introduction and review by Ibrahim Madkour; edited by Mahmoud Khudayri. Qom: Publications of the Grand Ayatollah Mar'ashi Najafi Library. [In Arabic]
Avicenna. (1405 AH b). Al-Shifa, Kitab al-Qiyas. Corrected by: Madkour, Ibrahim Bayumi. Qom: Library of Grand Ayatollah Mar'ashi Najafi. [In Arabic]
Avicenna. (1405 AH c). Mantiq al-Mashriqiyyin, wa al-Qasidah al-Muzdawajah fi al-Mantiq. Qom: Publications of the Library of Grand Ayatollah Mar'ashi Najafi. [In Arabic]
Avicenna. (1405 AH d). Al-Shifa (Theology). Corrected by Saeed Zayed. Qom: Library of Grand Ayatollah Mar'ashi. [In Arabic]
Avicenna. (1433 AH). Al-Shifa: Logic: Al-Qiyas. Reviewed and introduced by Ibrahim Madkour; edited by Saeed Zayed. Qom: Dhawi al-Qurba Publications. [In Arabic]
Avicenna. (n.d.). Al-Shifa – Al-Ilahiyat. Corrected by: Madkour, Ibrahim. Qom: Library of Grand Ayatollah Mar'ashi Najafi. [In Arabic]
Azimi, M. (1394). Logical Analysis of Proposition, Commentary on Logic of Al-Isharat (Paths Three to Six): Supreme Council of Islamic Wisdom. [In Persian]
Bäck, A. (1992). Avicenna's Conception of the Modalities. Vivarium, 30(2), 217-255.
Chatti, S. (2014). Avicenna on Possibility and Necessity. History and Philosophy of Logic, 35, 332-353.
Fakhr al-Razi. (1384). Commentary on Al-Isharat wa al-Tanbihat (Fakhr al-Razi). Tehran: Association of Cultural Works and Figures. [In Arabic]
Fallahi, A. (1395). Comparative Logic. Organization for the Study and Compilation of University Humanities Books (SAMT). [In Persian]
Fallahi, A. (1397). Buridan and Barcan Principles in Avicennan Logic and Evaluation of Their Attribution to Avicenna. Journal of Islamic Philosophy and Theology, 51(2), 261-278. [In Persian]
Hodges, W. (2010). ‘Ibn Sına on modes’, ‘Ibarah ii.4’. wilfridhodges.co.uk. Retrieved from http://wilfridhodges.co.uk/arabic07.pdf.
Hodges, W. (2016). Mathematical background to the logic of Ibn Sına. Notes at http://wilfridhodges.co.uk/(in preparation).
Hodges, W. (2017). Avicenna sets up a modal logic with a Kripke semantics. Stockholm, Sweden. Conference Paper retrieved from http://wilfridhodges.co.uk/arabic57.pdf.
Hodges, W. (2023). How did Avicenna understand the Barcan formulas? Logic Journal of the IGPL, 31(6), 1170-1191.
Hodges, W. & Johnston, S. (2017). Medieval modalities and modern methods: Avicenna and Buridan. IfCoLog Journal of Logics and their Applications, 4(4), 1029-1073.
Malink, M. (2013). Aristotle's modal syllogistic. Harvard University Press.
Mazginejad, M. (1399). An Analysis of Future Contingency from Avicenna's Perspective. Islamic Philosophy and Theology, 20(53), 503-522. [In Persian]
Mazginejad, M. (1400). An Analysis of the Meaning of Specific Possibility from Avicenna's Perspective. Logic Research, 23(12), 287-311. [In Persian]
Mazginejad, M. (1402). Distinction Between Possibility and Probability from Avicenna's Perspective. Eternal Wisdom, 44(20), 280-300. [In Persian]
Moqaddam, Gh. (1398). Traditional Modal Logic, Disruption in Proposition Structure and Exclusivism in Directions. Logic Research, 20(10), 259-274. [In Persian]
Omrani, M.; and Nabati, F. (1397). Necessity and Necessitation in Avicenna's Thought. Wisdom and Philosophy, 14(54), 122-148. [In Persian]
Rescher, N. (1963). Avicenna on the logic of ``conditional' propositions. Notre Dame Journal of Formal Logic, 4(1), 48-58. doi:10.1305/ndjfl/1093957394.
Rescher, N. (1967). Temporal modalities in Arabic logic (Vol. 38). D. Reidel.
Rescher, N. (1974). The Theory of Modal Syllogistic in Medieval Arabic Philosophy. Oxford: Blackwell.
Rescher, N. (2006). Chapter 6: THE ARABIC THEORY OF TEMPORAL MODAL SYLLOGISTIC Volume 10 Studies in the History of Logic (pp. 55-90). Berlin, Boston: De Gruyter.
Saeidi Mehr, M. (1383). Sentential Direction and Object Direction. Journal of Religious Philosophy, Volume 2, Issue 1, 125-148. [In Persian]
Sanei Darehbidi, M. (1387). Necessity and Permanence from the Perspective of Avicenna and Aristotle. Avicennan Wisdom, 39(12), 49-62. [In Persian]
Sorabji, R. (1980). Necessity, cause, and blame: Perspectives on aristotle’s theory.
Stein, N. (2012). Causal necessity in aristotle. British Journal for the History of Philosophy, 20(5), 855-879.
Street, T. (2004). Arabic logic. In D. M. Gabbay, J. Woods, & A. Kanamori (Eds.), Handbook of the history of logic (pp. 1-523): Elsevier.
Thom, P. (2008). Logic and Metaphysics in Avicenna's Modal Syllogistic. Paper presented at the The Unity of Science in the Arabic Tradition.
Thom, P. (2016). Necessity in Avicenna and the Arabic tradition. Logical Modalities From Aristotle to Carnap. ed. Max Cresswell-Edwin Mares-Adriane Rini, 91-112.
Thom, P., Cresswell, M. J., Mares, E. D., & Rini, A. A. (2016). Necessity in Avicenna and the Arabic Tradition.
Wisnovsky, R. (2003). 12. Necessity and Possibility: Materials from al-Fārābī. In R. Wisnovsky (Ed.), Avicenna's Metaphysics in Context (pp. 219-226): Cornell University Press.