A Reduction of Input/Output Logics to SAT

Alexander Steen
8/22/2025
cs.LOcs.AI

No confident code implementation found for this paper. 2 possible matches can be shown below.

Abstract

Deontic logics are formalisms for reasoning over norms, obligations, permissions and prohibitions. Input/Output (I/O) Logics are a particular family of so-called norm-based deontic logics that formalize conditional norms outside of the underlying object logic language, where conditional norms do not carry a truth-value themselves. In this paper, an automation approach for I/O logics is presented that makes use of suitable reductions to (sequences of) propositional satisfiability problems. A prototypical implementation, named rio (reasoner for input/output logics), of the proposed procedures is presented and applied to illustrative examples.

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. 2 weaker matches are hidden by default — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

Towards Propositional KLM-Style Defeasible Standpoint Logics

78% match2024

PYTHEN: A Flexible Framework for Legal Reasoning in Python

77% match2026

State Algebra for Propositional Logic

77% match2025

OWLOOP: Interfaces for Mapping OWL Axioms into OOP Hierarchies

77% match2024

Complexity of Faceted Explanations in Propositional Abduction

77% match2025

Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic

76% match1 repo612026

Cite this paper

@article{steen2025reduction,
  title  = {A Reduction of Input/Output Logics to SAT},
  author = {Alexander Steen},
  year   = {2025},
  eprint = {2508.16242},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2508.16242v2}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2508.16242.svg)](https://codeofpaper.com/paper/2508.16242)

Discussion