A deontic logic reasoning infrastructure

DOI10.1007/978-3-319-94418-0_6OpenAlexW2810366090MaRDI QIDQ1670720

Christoph Benzmüller, Xavier Parent, Leendert van der Torre

Publication date: 6 September 2018

Full work available at URL: http://christoph-benzmueller.de/papers/C69.pdf

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Mechanization of proofs and logical operations (03B35) Higher-order logic (03B16) Formalization of mathematics in connection with theorem provers (68V20)

Related Items (1)

Deontic paradoxes in Mīmāṃsā logics: there and back again

Uses Software

• Isabelle
• LEO-II
• Nitpick
• Isabelle/HOL
• SPASS
• Sledgehammer
• CVC4

This page was built for publication: A deontic logic reasoning infrastructure