کتاب زبان اصلی Gentzen Calculi for Modal Propositional Logic  انتشارات Springer   کتاب Gentzen Calculi for Modal Propositional Logic Trends in Logic 32 نوشته ی Francesca Poggiolesi یک کتاب مطالعاتی است که به بررسی منطق پیشنهادی مدلی اختصاص دارد این کتاب توسط انتشارات Springer در سال 2011 منتشر شده است این کتاب به دلیل بررسی جزئیات عمیق و نحوه ی کاربردی از مطالعات کالکولی ژنتزن موفقیت بسیاری را به خود اختصاص داده است نویسنده ی این کتاب نوشته های موفق دیگری نیز دارد که می توان آنها را به نام های مثل Modal Logic for Philosophers Trends in Logic 22 Logical and Computational Aspects of ModelBased Reasoning Trends in Logic 34 و یا Modal Logic with Philosophical Applications Trends in Logic 40 اشاره کرد