Automated reasoning with analytic tableaux and related methods : 26th international conference, TABLEAUX 2017, Brasília, Brazil, september 25-28, 2017, proceedings (2017)