Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization