خلاصه ماشینی:
"ساختار صوری و معنایی منطق شرطی در دو نظام منطقی قدیم و حدید،پایاننامۀ دکترا،دانشگاه تربیت مدرس،رشتۀ فلسفه و حکمت اسلامی(گرایش منطق)،تالیف:مرتضی حاج حسینی، استاد راهنما:دکتر ضیاء موحد،1375 ش 10.
بررسی و نقد دیدگاه گوتلوب فرگه پیرامون معنی و صدق:پایاننامۀ دکترا،دانشگاه تربیت مدرس،رشتۀ فلسفه و حکمت اسلامی(گرایش منطق)،تالیف:سید محمد علی حجتی،استاد راهنما: دکتر یوسف صمدی علیآبادی،1377 ش 14.
بررسی تطبیقی نتایج منطقی و فلسفی نظریههای صدق تارسکی،پایاننامۀ دکترا،دانشگاه تربیت مدرس،رشتۀ فلسفه و حکمت اسلامی(گرایش منطق)،تالیف:علی اکبر احمدی افرمجانی، استاد راهنما:دکتر محمد لگنهاوزن،1378 ش 17.
نقد و بررسی نظریۀ کریپکی در باب معناشناسی اسم خاص،پایاننامۀ کارشناسی ارشد،دانشگاه تربیت مدرس،رشتۀ فلسفه (گرایش منطق)،تالیف:محسن کاشی،استاد راهنما:دکتر سید محمد علی حجتی،1383 ش 55.
ساختار نحوی و معنایی منطق زمان،پایاننامۀ کارشناسی ارشد،دانشگاه دانشگاه تربیت مدرس،رشتۀ فلسفه(گرایش منطق)،تالیف: حسین بیات،استاد راهنما:دکتر لطف الله نبوی،1383 ش 56.
ساختار نحوی و معنایی و مبانی فلسفی موجهات محمولی از دیدگاه کریپکی،پایاننامۀ دکترا،دانشگاه تربیت مدرس، رشتۀ فلسفه و حکمت اسلامی(گرایش منطق)،تالیف:مهناز امیرخانی، استاد راهنما:دکتر لطف الله نبوی،1384 ش 64.
بررسی و نقد منطقی و فلسفی سلب در منطق حملی ارسطویی،پایاننامۀ کارشناسی ارشد،دانشگاه تربیت مدرس،رشتۀ فلسفه(گرایش منطق)،تالیف:قدرت الله شهبازی،استاد راهنما:دکتر سید محمد علی حجتی،1384 ش 67.
ساختار نحوی و معنایی واقعگرایی جدید در منطق موجهات،پایاننامۀ کارشناسی ارشد،دانشگاه تربیت مدرس،رشتۀ فلسفه(گرایش منطق)،تالیف:مجتبی امیر خانلو،استاد راهنما:دکتر لطف الله نبوی،1385 ش 77.
بررسی تطبیقی قرائتهای گودل و زالتا از برهان وجودی آنسلم برپایۀ تکنیکهای منطق جدید،پایاننامۀ کارشناسی ارشد،دانشگاه تربیت مدرس،رشتۀ فلسفه(گرایش منطق)،تالیف:سید مجید ظهیری،استاد راهنما:دکتر لطف الله نبوی، 1385 ش 79.
تقریرهای مختلف سیستم استنتاج طبیعی براساس دیدگاه یاکوفسکی و کنتزن،پایاننامۀ کارشناسی ارشد،دانشگاه تربیت مدرس،رشتۀ فلسفه(گرایش منطق)،تالیف:سید محمد مرتضوی،استاد راهنما:دکتر لطف الله نبوی،1388 ش 88."