{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:AGJXKY6GDQEQUJIZCFMTTVVGP5","short_pith_number":"pith:AGJXKY6G","schema_version":"1.0","canonical_sha256":"01937563c61c090a2519115939d6a67f6bdcd8a362ac492f8f63e626803906ab","source":{"kind":"arxiv","id":"2505.06824","version":1},"attestation_state":"computed","paper":{"title":"A logic for instrumental obligation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Jialiang Yan, Qingyu He","submitted_at":"2025-05-11T03:24:09Z","abstract_excerpt":"This paper develops a logic based on causal inferences to formally capture the concept of instrumental obligation. We establish a causal deontic model that extends causal models with priority structures, allowing us to represent both the instrumental and deontic aspects of an obligation. In this framework, instrumental obligation is defined as a derived notion through intervention formulas of causal reasoning, where an action is considered obligatory if it is the best way to achieve the goal. We provide a sound and complete axiomatic system and show that the logic is NP-complete. The concept o"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2505.06824","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2025-05-11T03:24:09Z","cross_cats_sorted":[],"title_canon_sha256":"d9eef9ea1102f4a63997642a4e6181514b68d9a32a4a11d999329e1d9f0543c1","abstract_canon_sha256":"cb8145d01a4d5dbc3ccdb645df4576575aedf04477c2b294ff61399b7162bd39"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:01:37.412642Z","signature_b64":"J0k8sBntUCK2p6MT5VVfMb1qnwu5xb+KVd1ZTb12OIl9X1X9/eVr7EG79HkVsN+BNH0W+4NEcHMe+gNmWsjiBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"01937563c61c090a2519115939d6a67f6bdcd8a362ac492f8f63e626803906ab","last_reissued_at":"2026-07-05T11:01:37.412187Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:01:37.412187Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A logic for instrumental obligation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Jialiang Yan, Qingyu He","submitted_at":"2025-05-11T03:24:09Z","abstract_excerpt":"This paper develops a logic based on causal inferences to formally capture the concept of instrumental obligation. We establish a causal deontic model that extends causal models with priority structures, allowing us to represent both the instrumental and deontic aspects of an obligation. In this framework, instrumental obligation is defined as a derived notion through intervention formulas of causal reasoning, where an action is considered obligatory if it is the best way to achieve the goal. We provide a sound and complete axiomatic system and show that the logic is NP-complete. The concept o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.06824","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2505.06824/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2505.06824","created_at":"2026-07-05T11:01:37.412244+00:00"},{"alias_kind":"arxiv_version","alias_value":"2505.06824v1","created_at":"2026-07-05T11:01:37.412244+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.06824","created_at":"2026-07-05T11:01:37.412244+00:00"},{"alias_kind":"pith_short_12","alias_value":"AGJXKY6GDQEQ","created_at":"2026-07-05T11:01:37.412244+00:00"},{"alias_kind":"pith_short_16","alias_value":"AGJXKY6GDQEQUJIZ","created_at":"2026-07-05T11:01:37.412244+00:00"},{"alias_kind":"pith_short_8","alias_value":"AGJXKY6G","created_at":"2026-07-05T11:01:37.412244+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/AGJXKY6GDQEQUJIZCFMTTVVGP5","json":"https://pith.science/pith/AGJXKY6GDQEQUJIZCFMTTVVGP5.json","graph_json":"https://pith.science/api/pith-number/AGJXKY6GDQEQUJIZCFMTTVVGP5/graph.json","events_json":"https://pith.science/api/pith-number/AGJXKY6GDQEQUJIZCFMTTVVGP5/events.json","paper":"https://pith.science/paper/AGJXKY6G"},"agent_actions":{"view_html":"https://pith.science/pith/AGJXKY6GDQEQUJIZCFMTTVVGP5","download_json":"https://pith.science/pith/AGJXKY6GDQEQUJIZCFMTTVVGP5.json","view_paper":"https://pith.science/paper/AGJXKY6G","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2505.06824&json=true","fetch_graph":"https://pith.science/api/pith-number/AGJXKY6GDQEQUJIZCFMTTVVGP5/graph.json","fetch_events":"https://pith.science/api/pith-number/AGJXKY6GDQEQUJIZCFMTTVVGP5/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/AGJXKY6GDQEQUJIZCFMTTVVGP5/action/timestamp_anchor","attest_storage":"https://pith.science/pith/AGJXKY6GDQEQUJIZCFMTTVVGP5/action/storage_attestation","attest_author":"https://pith.science/pith/AGJXKY6GDQEQUJIZCFMTTVVGP5/action/author_attestation","sign_citation":"https://pith.science/pith/AGJXKY6GDQEQUJIZCFMTTVVGP5/action/citation_signature","submit_replication":"https://pith.science/pith/AGJXKY6GDQEQUJIZCFMTTVVGP5/action/replication_record"}},"created_at":"2026-07-05T11:01:37.412244+00:00","updated_at":"2026-07-05T11:01:37.412244+00:00"}