propositional logic
preferred label: منطق گزاره‌ها @fa
type: Concept
related: propositional Kripke model

propositional Kripke model
related: propositional logic
broader: Kripke model
preferred label: مدل کریپکی گزاره‌ای @fa
type: Concept

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