Formal learning theory is the formal study of inductive problems and their intrinsic solvability for both ideal and computable agents. Modal operator theory has very little to do with formal learning theory especially with respects to
The significance of method and methodological recommendations.
The idea of weakening the convergence criterion in order to get more problems within the scope of reliable inquiry.
The philosophical insights of formal learning theory have largely neglected by philosophers, thus we deemed it important to allocate a section for less familiar field of formal learning theory.