Title: Logic for Learning