Deontic Logic for Human Reasoning

DOI10.1007/978-3-319-14726-0_5zbMath1432.03031arXiv1404.6974OpenAlexW1532142957MaRDI QIDQ5172607

Claudia Schon, Ulrich Furbach

Publication date: 4 February 2015

Published in: Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1404.6974

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)

Related Items (2)

Automated Reasoning in the Wild ⋮ Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support

Uses Software

• E-KRHyper

Cites Work

• Unnamed Item
• Unnamed Item
• Optimized Reasoning in Description Logics Using Hypertableaux
• Hyper Tableaux with Equality
• System Description: E- KRHyper
• First-Order Resolution Methods for Modal Logics
• System Description: E-KRHyper 1.4
• Computational Logic and Human Thinking
• Abductive Logic Programming
• Logic Programs under Three-Valued Łukasiewicz Semantics

This page was built for publication: Deontic Logic for Human Reasoning