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

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

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

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

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