تاربرگ‌های پیموده‌شده در این نشست: Semantic theories Axiom of Extensionality Assertion An Introduction to Modal Logic