منطق‌گرایی
type: Concept
preferred label: logicism @en
related: منطق صوری

حساب گزاره‌ها
type: Concept
broader: منطق صوری
preferred label: statement calculus @en

زبان صوری
type: Concept
broader: منطق صوری
preferred label: formal language @en

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

منطق صوری
type: Concept
broader: منطق عمومی
narrower: زبان صوری
narrower: منطق موجهات
narrower: حساب گزاره‌ها
preferred label: formal logic @en
related: منطق‌گرایی
scope note: بررسی رابطه‌های مجاز بین گزاره‌ها، که این بررسی به شکل مربوط است نه محتوا.

منطق عمومی
type: Concept
narrower: منطق صوری
preferred label: general logic @en