گویایی‌های گسترش‌یافته

همچنین شناخته شده با: منطق‌های گسترش‌یافته، گویایی‌های فراکلاسیک
برابر انگلیک (انگلیسی): Extended logics

نمونه‌ها/پیاده‌سازی‌ها گویایی سویی

تاربرگ‌های پیموده‌شده در این نشست: Modal Theorem K.2 برنامه‌ی هیلبرت اندرهازش یک انگاشته بَوَندَگی سامانه سویی چندی‌گذارده گویایی‌های فروآموزگاهی