Non-Standard Logics for Automated Reasoning

Academic Press (1988)
  Copy   BIBTEX

Abstract

Although there are a few books available that give brief surveys of a variety of nonstandard logics, there is a growing need for a critical presentation providing both a greater depth and breadth of insight into these logics. This book assembles a wider and deeper view of the many potentially applicable logics. Three appendixes provide short tutorials on classical logic and modal logics, and give a brief introduction to the existing literature on the logical aspects of probability theory. These tutorials and the bibliography included in the appendixes provide useful reference material for the reader.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,215

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
42 (#280,073)

6 months
6 (#132,731)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Knowledge-driven versus data-driven logics.Didier Dubois, Petr Hájek & Henri Prade - 2000 - Journal of Logic, Language and Information 9 (1):65--89.
The nature of nonmonotonic reasoning.Charles G. Morgan - 2000 - Minds and Machines 10 (3):321-360.
Multiple agent possibilistic logic.Asma Belhadi, Didier Dubois, Faiza Khellaf-Haned & Henri Prade - 2013 - Journal of Applied Non-Classical Logics 23 (4):299-320.

Add more citations

References found in this work

No references found.

Add more references