first order logic
type: Concept
broader: order of logic
preferred label: منطق مرتبه اول @fa

higher order logic
type: Concept
broader: order of logic
preferred label: منطق مرتبه بالاتر @fa

order of logic
type: Concept
broader: general logic
narrower: higher order logic
narrower: first order logic
preferred label: مرتبه منطق @fa
related: decision problem

decision problem
type: Concept
preferred label: مسئله تصمیم @fa
related: order of logic

general logic
type: Concept
narrower: order of logic
preferred label: منطق عمومی @fa