closed formula



تاربرگ‌های پیموده‌شده در این نشست: Controversial formulas in Quantified Modal Logic