Modelling Belief Dynamics in Social Groups with Logical Constraints