Vitor Greati
C. Lattes
GitHub
Research
Blog
Presentations
Some talks
Analytic calculi for logics of indicative conditionals
TABLEAUX'25, Reykjavík, Iceland
PDF