تاربرگ‌های پیموده‌شده در این نشست: associativity ⟩ Categorical Logic ⟩ Aristotle ⟩ Modal Logics between S4 and S5 ⟩ affixing relevant logics ⟩ Free Logics