Title: Logic of Multiparty Systems