propositional logic
منطق گزاره‌ها
Kripke model
مدل کریپکی
propositional Kripke model
مدل کریپکی گزاره‌ای