CCO Document Acts Ontology (D-Acts)
Deontic logic solver in ASP with Clingo
An implementation of Defeasible Deontic Logic in Answer Set Programming
A browser-based automated reasoner for Input/Output Logics
DDL2THF -- A preprocessor for translating problems in Dyadic Deontic Logic into THF problems
Case study in monitoring a Solidity smart contract with a deontic logic specification language.
Model check systems for obligations
Um estudo sobre Filosofia da Lógica; Overview do método de Newton da Costa, Gödel, Morgan, Dummett, Frege, Leibniz, Peirce, Orman Quine, Ludwig Wittgenstein
Model check and generate obligations for Markov decision processes in expected act utilitarian deontic logic.
Add a description, image, and links to the deontic-logic topic page so that developers can more easily learn about it.
To associate your repository with the deontic-logic topic, visit your repo's landing page and select "manage topics."