تاربرگ‌های پیموده‌شده در این نشست: triangle ⟩ Modal Logics between S4 and S5 ⟩ The Completeness of the First-Order Functional Calculus ⟩ Categorical Logic ⟩ Free Logics ⟩ Axiom of Extensionality