8.2.2 תחשיב פרדיקטים מודאלי

כעת נציג את הניתוח שלנו למודאליות בצורה פורמלית באמצעות שפה לוגית . שפה זו מתבססת על תחשיב הפרדיקטים שלמדנו בסעיף , 8 . 2 . 1 ומרחיבה אותה .  אל הספר
האוניברסיטה הפתוחה