MoL-2019-10: Young Pedersen, Mina (2019) Polarization and Echo Chambers: A Logical Analysis of Balance and Triadic Closure in Social Networks. [Report]