Tableau methodology for propositional logics. - T. Jarmuzek; R. Gore (CoRR, 2025)