Case study in monitoring a Solidity smart contract with a deontic logic specification language.
-
Updated
Oct 26, 2018
#
deontic-logic
Here are 24 public repositories matching this topic...
Model check systems for obligations
-
Updated
Aug 4, 2020 - Python
The governance layer for regulated AI. Hard boundaries. Formal proof.
scala formal-methods compliance hipaa deontic-logic regulatory-compliance ai-governance enterprise-ai
-
Updated
Jul 4, 2026 - Scala
A browser-based automated reasoner for Input/Output Logics
-
Updated
Jul 20, 2021 - JavaScript
"CSTL — Compressed Semantic Transfer Language. A self-sufficient semantic protocol for lossless LLM-to-LLM communication, with native deontic modalities ([MUST]/[NOT]/[IF]), uncertainty markers, and AI Act compliance. Sister mode CASTLE (networked) planned for future work."
-
Updated
Aug 13, 2026 - Rust
DDL2THF -- A preprocessor for translating problems in Dyadic Deontic Logic into THF problems
-
Updated
Mar 16, 2022 - Java
DeonticBench
-
Updated
Jun 4, 2026 - Python
SigmaGov: A Formal Governance Calculus for LLM Agent Systems - Lean 4 Formalization
< 10BC0 /div>-
Updated
Jan 3, 2026 - Lean
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
temporal-logic propositional-logic kripke fuzzy-logic modal-logic epistemic-logic deontic-logic epistemic paraconsistent doxastic
-
Updated
Apr 18, 2023
UFO + ODRL mechanized reasoning in Isabelle/HOL with Z3 automation for deontic verification.
-
Updated
Jul 2, 2026 - SMT
Deontic Task Orchestrator for OmegaClaw. Has defeasible event calculus, deontic and temporal reasoning, and agent verifiable work system
prolog orchestration metta deontic-logic llm llm-inference llm-tools agentic-workflow omegaclaw metta-lang
-
Updated
Jun 20, 2026 - MeTTa
An OpenCode plugin that converts unstructured text into structured, consistent formats using speech act theory.
-
Updated
Feb 23, 2026 - TypeScript
A native MeTTa decision gate that ranks agent actions against explicit goals, policy norms, and graded evidence.
-
Updated
Jul 15, 2026 - TypeScript
An implementation of Defeasible Deontic Logic in Answer Set Programming
deontic-logic computational-law defeasible-logic defeasible rules-as-code nonmonotonic-reasoning defeasible-deontic-logic
-
Updated
May 25, 2026 - Classic ASP
Deontic logic solver in ASP with Clingo
-
Updated
Dec 16, 2025 - Python
Model check and generate obligations for Markov decision processes in expected act utilitarian deontic logic.
-
Updated
Jul 26, 2022 - Python
CCO Document Acts Ontology (D-Acts)
ontology deontic-logic common-core-ontology basic-formal-ontology document-acts socio-legal-entities
-
Updated
Jun 26, 2026
Deterministic, multi-paradigm formal governance engine in Rust — evaluates policy across deontic, temporal, epistemic + 5 more logics with cross-paradigm validation and full audit tracing.
rust logic temporal-logic formal-methods no-std governance ai-safety reasoning policy-engine deontic-logic
-
Updated
Jul 19, 2026 - Rust
Curry-Howard isomorphism for deontic logic — formalizing Korean Civil Act with Haskell type-level stratified defeasibility
haskell formal-methods type-level-programming deontic-logic legal-reasoning defeasible-reasoning curry-howard korean-civil-act
-
Updated
Mar 7, 2026 - Haskell
Improve this page
Add a description, image, and links to the deontic-logic topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the deontic-logic topic, visit your repo's landing page and select "manage topics."