منطق وجهی
modal logic
منطق موجهات
زمینه‌ایست در منطق صوری که به بررسی موجهات، یعنی مفاهیمی همچون امکان، وجود، و ضرورت می‌پردازد. منطقی که با تعدادی مفاهیم دیگر چون توانستن، احتمالا، باید و مفاهیم مشابه آن سروکار دارد نیز منطق موجهات گفته می‌شود.
منطق صوری
formal logic