A Logical Analysis of Informational Cascades