Disjunctive bases: normal forms and model theory for modal logics (Logical Methods in Computer Science, 2022)