Analytic calculi for logics of indicative conditionals

TABLEAUX'25, Reykjavík, Iceland
PDF