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.


Preferential Model Semantical System Probability Semantic Entailment Relation Cumulative Model 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


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