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

cylindrical construction
type: Concept
preferred label: ساختمان استوانه‌ای @fa
related: propositional logic

intuitionistic propositional logic
type: Concept
preferred label: منطق گزاره‌ای شهودی @fa
related: propositional logic

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

symbolic logic
type: Concept
narrower: propositional logic
preferred label: منطق نمادی @fa