proof theory
preferred label: نظریه برهان @fa
type: Concept
related: semantic

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

truth funtion
preferred label: تابع ارزش @fa
type: Concept
broader: semantic

semantic of second order logic
preferred label: معنا شناسی منطق مرتبه دوم @fa
type: Concept
broader: semantic

model theory
preferred label: نظریه مدل @fa
type: Concept
related: semantic

consistency
preferred label: سازگاری @fa
type: Concept
related: semantic

game theory
preferred label: نظریه بازی @fa
type: Concept
related: semantic

soundness theorem
preferred label: قضیه درستی @fa
type: Concept
related: semantic

Kripke model
preferred label: مدل کریپکی @fa
type: Concept
related: semantic

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

semantic
related: consistency
related: soundness theorem
related: Kripke model
related: game theory
related: model theory
related: proof theory
preferred label: معنا شناسی @fa
broader: general logic
narrower: semantic of first order logic
narrower: truth funtion
narrower: semantic of second order logic
type: Concept