It also relates them to various modal logics studied in the philosophical logic litera­ ture, and provides a thorough treatment of their applications as foundations for logic programming semantics and for truth maintenance systems.

Foreword by: R. Reiter