Temporal Logic Motion Planning in Partially Unknown Environments