گویایی آوین‌پذیری
همچنین شناخته شده با: منطق اثبات پذیری
برابر انگلیک (انگلیسی): Provability logic


تاربرگ‌های پیموده‌شده در این نشست: آی‌بی‌ام ⟩ پادهمامون ⟩ گویایی آزاد افزوده ⟩ گویایی سویی گزاره‌ای ⟩ نمودار ⟩ نگره‌پردازان نگره‌ی آوین