Towards an Updatable Strategy Logic