2000 - CLUEB
Chapter
Digital Version
Download | NO Copy/paste | Printing
Leibniz's theory of presumption and the birth of nonmonotoning reasoning
P. [1-24] [24]
-
Information
-
In the same volume
- Preface
- Leibniz's theory of presumption and the birth of nonmonotoning reasoning
- Leibniz's foundations of legal and comonsense reasoning
- The logic of presumption
- Deontic theorem proving
- A computationally oriented approach to defeasible normative reasoning
- A general unifying framework for defeasible deontic logic
- Normative reasoning in quantificational contexts
- A sceptical conclusion