Analytic calculi for logics of indicative conditionals V. Greati, S. Marcelino, U. Rivieccio, M. Pérez TABLEAUX 2025 (to appear)