TABLEAUX 2025 Best Paper Award!

Sep 29, 2025 1 min read

The paper “A. Ciabattoni, T. Lang, and R. Ramanayake. Analytic Proofs for Tense Logic.” has received the best paper award at TABLEAUX 2025.