Pith Number

pith:RSKFFMLH

pith:2025:RSKFFMLHCRY3SRTB3HVQ7Q6FG4

not attested not anchored not stored refs pending

Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System

Abhiramon Rajasekharan, Alexis R. Tudor, Elmer Salazar, Gopal Gupta, Joaqu\'in Arias

Deontic modal logic operators are expressed directly in answer set programming using default negation, strong negation, and global constraints.

arxiv:2507.05519 v9 · 2025-07-07 · cs.AI · cs.LO

Open paper page JSON Open Graph Bundle Merged state Verified badge What is a Pith Number?

Add to your LaTeX paper

\usepackage{pith}
\pithnumber{RSKFFMLHCRY3SRTB3HVQ7Q6FG4}

Prints a linked badge after your title and injects PDF metadata. Compiles on arXiv. Learn more · Embed verified badge

Record completeness

1 Bitcoin timestamp

2 Internet Archive

3 Author claim open · sign in to claim

4 Citations open

5 Replications open

✓ Portable graph bundle live · download bundle · merged state

The bundle contains the canonical record plus signed events. A mirror can host it anywhere and recompute the same current state with the deterministic merge algorithm.

Claims

C1strongest claim

Our proposed representation results in the various decades-old paradoxes of deontic modal logic being simply and elegantly resolved.

C2weakest assumption

That the semantics of default negation and strong negation in answer set programming, combined with global constraints, can faithfully capture the intended meaning of deontic modal operators without losing key properties or introducing unintended behaviors.

C3one line summary

Deontic modal logic is implemented in s(CASP) ASP by mapping modal operators to default and strong negation and obligations to global constraints, resolving paradoxes and supporting conditional deontic statements.

Receipt and verification

First computed	2026-06-03T02:05:41.434402Z
Builder	pith-number-builder-2026-05-17-v1
Signature	Pith Ed25519 (`pith-v1-2026-05`) · public key
Schema	pith-number/v1.0

Canonical hash

8c9452b1671471b94661d9eb0fc3c5371943ac2f5e25290284946dfb7fc71bc6

Aliases

arxiv: 2507.05519 · arxiv_version: 2507.05519v9 · doi: 10.48550/arxiv.2507.05519 · pith_short_12: RSKFFMLHCRY3 · pith_short_16: RSKFFMLHCRY3SRTB · pith_short_8: RSKFFMLH

Agent API

Resolver JSON Graph JSON Events JSON Schema Signing key

Verify this Pith Number yourself

curl -sH 'Accept: application/ld+json' https://pith.science/pith/RSKFFMLHCRY3SRTB3HVQ7Q6FG4 \
  | jq -c '.canonical_record' \
  | python3 -c "import sys,json,hashlib; b=json.dumps(json.loads(sys.stdin.read()), sort_keys=True, separators=(',',':'), ensure_ascii=False).encode(); print(hashlib.sha256(b).hexdigest())"
# expect: 8c9452b1671471b94661d9eb0fc3c5371943ac2f5e25290284946dfb7fc71bc6

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "2932111e1d3fd45d316a32240924fd00757f8cb37942595e89c98d064f3c2fea",
    "cross_cats_sorted": [
      "cs.LO"
    ],
    "license": "http://creativecommons.org/licenses/by-nc-nd/4.0/",
    "primary_cat": "cs.AI",
    "submitted_at": "2025-07-07T22:31:54Z",
    "title_canon_sha256": "0d428a6cd72d403b133a21937fe5d8de6843d707e199a41c9a22ee1829aa6ddb"
  },
  "schema_version": "1.0",
  "source": {
    "id": "2507.05519",
    "kind": "arxiv",
    "version": 9
  }
}