predicate Kripke model
type: Concept
broader: Kripke model
preferred label: مدل کریپکی محمولی @fa
related: predicate logic

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

predicate logic
type: Concept
preferred label: منطق محمولات @fa
related: predicate Kripke model