گویایی آزاد نتار

همچنین شناخته شده با: منطق آزاد خنثی
برابر انگلیک (انگلیسی): Neutral Free Logic


تاربرگ‌های پیموده‌شده در این نشست: Modal Axiom 5 Modal System S4 چندبار شونده