Title: The Logic of Multiparty Systems