منطق موجهات
type: Concept
alternative label: منطق وجهی
broader: منطق صوری
preferred label: modal logic @en
scope note: زمینه‌ایست در منطق صوری که به بررسی موجهات، یعنی مفاهیمی همچون امکان، وجود، و ضرورت می‌پردازد. منطقی که با تعدادی مفاهیم دیگر چون توانستن، احتمالا، باید و مفاهیم مشابه آن سروکار دارد نیز منطق موجهات گفته می‌شود.

منطق صوری
type: Concept
narrower: منطق موجهات
preferred label: formal logic @en