Refined Tableau Systems for Some Modal Logics of Confluence. - Kiana Samadpour Motalebi; Renate A. Schmidt; Cláudia Nalon (TABLEAUX, 2025)