کتاب زبان اصلی Introductory Modal Logic اثر Kenneth Konyndyk   کتاب Introductory Modal Logic اثر Kenneth Konyndyk یک راهنمای کامل برای اولین بار در مورد منطق مدل است این کتاب به طور تخصصی به بررسی مفاهیم منطق مدل می پردازد و به طور کامل به مسائل نظریه برنامه نویسی مدل می پردازد این کتاب توسط انتشارات Springer در سال 2018 منتشر شده است این کتاب به عنوان یکی از بهترین کتابهای منطق مدل در نظر گرفته می شود Kenneth Konyndyk نویسنده این کتاب نویسنده کتابهای موفق دیگری نیز است که می توان آنها را به نامهای به فارسی ترجمه کرد کتاب تحلیل منطقی از نظر مثال هایی اثر Kenneth Konyndyk کتاب مبانی ریاضیات منطقی اثر Kenneth Konyndyk