Logic of multiparty systems by