Automated reasoning with analytic tableaux and related methods 32nd international conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023 : proceedings - Ramanayake, Revantha; Urban, Josef (Springer, 2023)