Convolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras (Logical Methods in Computer Science, 2021)