Implicitly learning to reason in first-order logic

In particular, he proposed a semantics to capture the quality possessed by the output of (probably approximately correct) P AC-learning algorithms when formulated in a logic.