Philosophical logic and artificial intelligence - Thomason, Richmond H. (Kluwer Academic, 1989)