Title: Philosophical logic and artificial intelligence
Subjects: Artificial intelligence, Logic