The Semantics of Deductive and Nonmonotonic Logic

Abstract

In part I we have explicated the notions of a monotonic or nonmonotonic inference; in part II we have stated a theory of justification for both of these types of inference. In this part we will deal with the logic that is underlying justified monotonic and nonmonotonic inference. This logic is deductive logic in the first case, and nonmonotonic logic in the second one.