#

deontic

Here are 5 public repositories matching this topic...

ovidiomanteiga / deolingo

Deontic logic solver in ASP with Clingo

python-library python-cli clingo answer-set-programming deontic deontic-logic deontic-logics

Updated Dec 16, 2025
Python

shaunazzopardi / deontic-logic-with-unknowns

A Partial Deontic Logic

law csharp logic contracts deontic norms deontic-logic

Updated Sep 26, 2018
C#

structural-explainability / paper-100-neutral-substrate

Paper defining neutral substrates that preserve shared reference without adopting contested interpretations.

latex academic-paper accountability causal foundations deontic explainability formal-ontology ontological-neutrality structural-explainability neutrality-constraints substrate-stability neutrality-theorem

Updated Aug 1, 2026
TeX

shaunazzopardi / deontic-monitoring-solidity

Case study in monitoring a Solidity smart contract with a deontic logic specification language.

monitoring solidity solidity-contracts runtime-verification deontic deontic-logic

Updated Oct 26, 2018

CharlesCNorton / deontic-verified

Formalizing bounded deontic enforcement

proof logic deontic

Updated Feb 18, 2026
Rocq Prover

Improve this page

Add a description, image, and links to the deontic topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the deontic topic, visit your repo's landing page and select "manage topics."