Finite model property



تاربرگ‌های پیموده‌شده در این نشست: IL.H.01 numerator Modal Theorem K.2