predicate Kripke model
مدل کریپکی محمولی
Kripke model
مدل کریپکی
predicate logic
منطق محمولات