On the modeling and verification of the spread of fake news, algebraically. - Aldini, Alessandro (Journal of Logic & Computation, 2022)