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

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

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

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

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