This monograph on classical logic presents fundamental concepts and results in a rigorous mathematical style and is intended for those interested in computer science and mathematics at the beginning graduate level.Expand

One / Background.- Two / Analytic Modal Tableaus and Consistency Properties.- Three / Logical Consequence, Compactness, Interpolation, and Other Topics.- Four / Axiom Systems and Natural Deduction.-… Expand

The use of conventional classical logic is misleading for characterizing the behavior of logic programs because a logic program, when queried, will do one of three things: succeed with the query,… Expand

This semantics is used to give new proofs of several basic results concerning LP, and the realization of S4 into LP is established in a way that carefully examines and explicates the role of the + operator.Expand

This paper summarizes one variety of approaches to the semantics of logic programs: that based on fixpoint theory, and hopes readers will see parallels with, and the divergences from the better known fixpoint treatments developed for other programming methodologies.Expand

Bilattices are a family of truth-value spaces that allow elegantly for missing or conflicting information, and a fixed-point semantics is developed for logic programming, allowing any bilattice as the space of truth values.Expand

Two families of many-valued modal logics are investigated, characterized using Kripke models that allow formulas to take values in a finiteMany-valued logic, at each possible world.Expand