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