A Logical Foundation for Potentialist Set Theory