تاربرگ‌های پیموده‌شده در این نشست: آغاز انگارش درآمدی به گویایی سویی گویایی نماتکین A Completeness Theorem in Modal Logic Semantical Considerations on Modal Logic گویایی برای دانش رایانش