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


تاربرگ‌های پیموده‌شده در این نشست: پیشوندیدن ⟩ نگره‌ی نمونه ⟩ Modal System S4 ⟩ Modal System D ⟩ آوین‌پذیری ⟩ پارادخش‌های درتاهش سخت‌گیر