The Semantics of Deductive and Nonmonotonic Logic

  • Hannes Leitgeb
Part of the Applied Logic Series book series (APLS, volume 30)


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.




Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. § We associate theories with sets of order-of-magnitude models and not with single orderof-magnitude models in this case for the sake of the completeness theorem that is stated in chapter 10; compare the footnote on p.199.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2004

Authors and Affiliations

  • Hannes Leitgeb
    • 1
  1. 1.Department of PhilosophyUniversity of SalzburgAustria

Personalised recommendations