2000 - CLUEB
Capitolo
Versione Digitale
Download | NO Copia/incolla | Stampa
A general unifying framework for defeasible deontic logic
P. [1-35] [35]
-
Informazioni
-
Nello stesso 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