“…Therefore, we restrict attention here to methods related to logics of confluence. Tableaux methods for logics of confluence where the mono-modal axioms T, D, B, 4, 5, De (for density, the converse of 4), and G are valid, can be found in [7,9]. For each of those axioms, a tableau inference rule is given.…”