Monograph of French mathematicians, which is a continuation of the book with the same name, but with a different subtitle (M.: Mir, 1990). It includes the basics of modal and temporal logics, analysis of natural languages, Montague semantics, non-monotonic logics and logical database theory. The presentation is lively and visual, accompanied by graphic illustrations, practical recommendations. For all students and applying methods of artificial intelligence and logical programming.