منطق موجهات (به انگلیسی: modal logic) که نوعی منطق صوری است که ابتدا در دهه ۶۰ میلادی گسترش یافت، منطق گزاره ها و منطق محمولات را به گونه ای گسترش می دهد که شامل اُپراتورهایی برای تبیین وجهیت باشند. یک موجهه - واژه ای برای تبیین وجهیت - جهت دهندهٔ یک اظهار است. برای مثال اظهار «جان خوشحال است» می تواند اینطور تعبیر شود که جان معمولاً خوشحال است؛ در آن صورت، عبارت «معمولاً» به عنوان یک موجهه عمل می...