Deontic theorem proving

P. [1-25] [25]

• Chapitres du même volume (disponibles individuellement)

  • Preface
    Obtenir le chapitre
  • Leibniz's theory of presumption and the birth of nonmonotoning reasoning
    Obtenir le chapitre
  • Leibniz's foundations of legal and comonsense reasoning
    Obtenir le chapitre
  • The logic of presumption
    Obtenir le chapitre
  • Deontic theorem proving
  • A computationally oriented approach to defeasible normative reasoning
    Obtenir le chapitre
  • A general unifying framework for defeasible deontic logic
    Obtenir le chapitre
  • Normative reasoning in quantificational contexts
    Obtenir le chapitre
  • A sceptical conclusion
    Obtenir le chapitre

  Afficher plus
• Informations

  Code DOI : 10.1400/75418

  Permalink: https://digital.casalini.it/10.1400/75418