نوع من المنطق الذى يتعامل مع " المحتمل " و " الممكن" والذي يظهر في مقولات لغوية من قبيل: "من المتوقع" و"من المفترض" و "ربما".

المصدر

• د. نبيل علي - د. نادية حجازي.كتاب : الفجوة الرقمية - سلسلة عالم المعرفة- غشت -2005العدد318 .ص: 319

منطق

Modallogik | Modallogik | Modal logic | Lógica modal | Logique modale | לוגיקה מודלית | Modala logiko | 様相論理学 | Modale logica | Modallogikk | Модальная логика | Modal logik | 模态逻辑