Artosi, Alberto Deontic theorem proving 2000 - CLUEB P. [1-25] [25] Is part of Studies on normative reasoning : logical and philosophical perspectives. - ( Filosofia, informatica, diritto ; 11) Workspace Quote Chapters from the same volume (available individually) 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 Information DOI: 10.1400/75418 Permalink: http://digital.casalini.it/10.1400/75418