An implementation of Defeasible Deontic Logic in Answer Set Programming

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

A Partial Deontic Logic

Add provably safe ethical constraints to AI agents via Phronesis

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

SigmaGov: A Formal Governance Calculus for LLM Agent Systems - Lean 4 Formalization

DDL2THF -- A preprocessor for translating problems in Dyadic Deontic Logic into THF problems

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.