Automated reasoning with analytic tableaux and related methods 24th international conference, TABLEAUX 2015, Wrocław, Poland, September 21 - 24, 2015 ; proceedings - Nivelle, Hans de 1967- (Lecture notes in computer science, 2015)