ابنسینا (1379). التعلیقات، قم: دفتر تبلیغات اسلامی حوزة علمیه.
ابنسینا (1404 ق). الهیات الشفاء، مقدمة للدکتور ابراهیم مدکور، قم: منشورات مکتبة آیة اللّه العظمى المرعشى النّجفى.
بهمنیار، ابنالمرزبان (بیتا). التحصیل، تحقیق و تصحیح مرتضی مطهری، تهران: دانشگاه تهران.
شیرازی، صدرالدین (1386 ق). الحکمة المتعالیة فی الاسفار العقلیة الاربعة، ج 1، بیروت: دار احیاء التراث العلمی.
شیرازی، صدرالدین (بیتا). التعلیقة علی الهیات الشفاء، تهران: بیدار.
دست افشان، علیرضا (1387). بررسی و حل مسئلة ابهام ساختاری و مسئلة تعهد وجودی در دلالتشناسی ضمایر آنافوریک، رسالة دکتری، تهران: دانشگاه تربیت مدرس.
اللوکری، ابوالعباس (بیتا). بیان الحق بضمان الصدق، دانشگاه بینالمللی اسلامی مالزی: مؤسسة بینالمللی اندیشه و تمدن اسلامی.
مطهری، مرتضی (بیتا). شرح مبسوط منظومه، مجموعه آثار، ج 9، تهران: صدرا.
مصباح یزدی، محمدتقی (1385). شرح الهیات شفا، ج 1، انتشارات مؤسسة آموزشی و پژوهشی امام خمینی (ره).
نبوی، لطفالله (1389). مبانی منطق فلسفی، تهران: دانشگاه تربیت مدرس.
Kripke, S. (1972). Naming and Necessity, Oxford: Basil Blackwell.
Lambert, K. (2001). ‘Free Logic’, in Blackwell Guide to Philosophical Logic.
Parsons, T. (1982). ‘Are There Nonexistent Objects’, In American Philosophical Quarterly, Vol. 19, No. 4.
Salmon, N. (1987). ‘Existence’, In Philosophical Perspectives, 1: Metaphysics, Atascadero, Calif: Ridgewiew.
Salmon, N. (1998). ‘Nonexistence’, Noûs, Vol. 32, No. 3.
Salmon, N. (2002). ‘Mythical Objects’, in Metaphysics, Mathematics, and Meaning, Oxford: Clarendon Press.
Williamson, T. (1998). ‘Bare Possibilia’, Erkenntnis, Vol. 48.