השפות האלה משמשות כלי עזר
כדי לנתח תופעות שונות בשפה טבעית, וכל שפה לוגית כזאת "תפורה" עבור תופעות מסוימות.
אני לא יודע עם איזו רמה של ספרות בסמנטיקה פורמלית אתה יכול להתמודד, כי הדברים האלה צריכים למידה מסודרת (כמו שלומדים מתמטיקה -
נדבך על גבי נדבך).
אני יכול לתת לך כמה שמות של ספרים, שאחרי שתקרא ותפנים אותם, אתה יכול לעבור לחומר יותר מתקדם, אבל מדובר בסוג של דברים שכדי להפנים אותם
צריך אשכרה לתרגל, דהיינו לפתור תרגילים.
Introduction to Montague Semantics / Dowty, Wall and Peters
From Discourse to Logic / Kamp & Reyle
Structures for Semantics / Fred Landman
Mathematical Methods in Linguistics / Partee, ter Meulen & Wall
Formal Pragmatics / Nirit Kadmon
החומר המתקדם והחדשני באמת מתפרסם בכתבי עת מקצועיים, לא בספרי לימוד.