An implementation of Defeasible Deontic Logic in Answer Set Programming
DeonticBench
An OpenCode plugin that converts unstructured text into structured, consistent formats using speech act theory.
CCO Document Acts Ontology (D-Acts)
Curry-Howard isomorphism for deontic logic — formalizing Korean Civil Act with Haskell type-level stratified defeasibility
Deontic logic solver in ASP with Clingo
A browser-based automated reasoner for Input/Output Logics
"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."
Add normative ethical constraints to AI agents via Phronesis
Deontic Task Orchestrator for OmegaClaw. Has defeasible event calculus, deontic and temporal reasoning, and agent verifiable work system
Rust tools for validating OKF Knowledge Bundles — okf-graph for topology and identity, okf-normative for the normative reading over it.
Case study in monitoring a Solidity smart contract with a deontic logic specification language.
The governance layer for regulated AI. Hard boundaries. Formal proof.
Model check systems for obligations
DDL2THF -- A preprocessor for translating problems in Dyadic Deontic Logic into THF problems
SigmaGov: A Formal Governance Calculus for LLM Agent Systems - Lean 4 Formalization
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
UFO + ODRL mechanized reasoning in Isabelle/HOL with Z3 automation for deontic verification.
A native MeTTa decision gate that ranks agent actions against explicit goals, policy norms, and graded evidence.
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."