Incremental Model-based Learners With Formal Learning