داراک نمونه پایان‌دار

همچنین شناخته شده با: ویژگی مدل متناهی
برابر انگلیک (انگلیسی): Finite model property


تاربرگ‌های پیموده‌شده در این نشست: پایارا Zur Logik der Modalitäten رونالد ریوست درباره‌ی نماردن دستگاه فروهازشی آلن راس اندرسون