Workshop on Logics for the Formation and Dynamics of Social Norm (LFDSN 2019)