I started to read another book for my thesis today.

I read section 1.1 in

Levesque, Hector J. and Lakemeyer, Gerhard. The Logic of Knowledge Bases (Cambridge, Mass.: MIT, 2000).

This covers an introduction to knowledge bases but mostly an introduction to logic