کتاب زبان اصلی Procedural Semantics for Hyperintensional Logic انتشارات Springer   کتاب Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic Logic Epistemology and the Unity of Science 17 اثر Marie Duzi Bjorn Jespersen Pavel Materna یک روش جدید برای تحلیل معنایی و تحلیل نظریه های عمیق را برای دانشمندان و تحقیق کنندگان در حوزه ی منطق فراهم می کند این کتاب توسط Springer در سال 2018 منتشر شده است این کتاب به عنوان یکی از کتابهای موفق در حوزه ی منطق و استدلال نیز شناخته می شود نویسنده این کتاب کتابهای موفق دیگری به نام های Transparent Intensional Logic TIL و Intensional Logic IL نیز دارد