この資料をSMS送信: Multi-player games with LDL goals over finite traces