{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:JSGZAWVWBR73W65ZM5QZS6ICQE","short_pith_number":"pith:JSGZAWVW","schema_version":"1.0","canonical_sha256":"4c8d905ab60c7fbb7bb967619979028112f831903ded83acec690bcef42864f5","source":{"kind":"arxiv","id":"2605.26739","version":1},"attestation_state":"computed","paper":{"title":"From Actions to Obligations: A Deontic Action Model Logic","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Giorgio Cignarale","submitted_at":"2026-05-26T09:13:10Z","abstract_excerpt":"We introduce the Deontic Action Model Logic (DAML), a dynamic modal framework for reasoning about obligations over actions in multi-agent systems. DAML extends the epistemic Action Model Logic by incorporating deontic evaluation mechanisms that assess agents' actions in terms of both the desirability and the likelihood of their outcomes. Obligations arise for those actions that maximize expected deontic value among an agent's available alternatives at a given decision point, yielding a formal account for reasoning about conditional and context-sensitive obligations in settings involving strate"},"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":"2605.26739","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-05-26T09:13:10Z","cross_cats_sorted":[],"title_canon_sha256":"f32f63523b76976bbd790739489aaa0ba98e54ba43ba512833f27cd7e7363564","abstract_canon_sha256":"3aee9dbb6b7c5a69842a4e18fb729e7e10e3cfd81676b1cd79f2e89ec734a310"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-27T01:06:10.154703Z","signature_b64":"9aDuGSOytg9iovQBiCCXy+x6l38SLSAOmoOjgZIgq8ybZC6sSqWysgMG7MPz+y5jjoaufpjIskkXpnyKe/XSBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4c8d905ab60c7fbb7bb967619979028112f831903ded83acec690bcef42864f5","last_reissued_at":"2026-05-27T01:06:10.153964Z","signature_status":"signed_v1","first_computed_at":"2026-05-27T01:06:10.153964Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"From Actions to Obligations: A Deontic Action Model Logic","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Giorgio Cignarale","submitted_at":"2026-05-26T09:13:10Z","abstract_excerpt":"We introduce the Deontic Action Model Logic (DAML), a dynamic modal framework for reasoning about obligations over actions in multi-agent systems. DAML extends the epistemic Action Model Logic by incorporating deontic evaluation mechanisms that assess agents' actions in terms of both the desirability and the likelihood of their outcomes. Obligations arise for those actions that maximize expected deontic value among an agent's available alternatives at a given decision point, yielding a formal account for reasoning about conditional and context-sensitive obligations in settings involving strate"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.26739","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/2605.26739/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":"2605.26739","created_at":"2026-05-27T01:06:10.154071+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.26739v1","created_at":"2026-05-27T01:06:10.154071+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.26739","created_at":"2026-05-27T01:06:10.154071+00:00"},{"alias_kind":"pith_short_12","alias_value":"JSGZAWVWBR73","created_at":"2026-05-27T01:06:10.154071+00:00"},{"alias_kind":"pith_short_16","alias_value":"JSGZAWVWBR73W65Z","created_at":"2026-05-27T01:06:10.154071+00:00"},{"alias_kind":"pith_short_8","alias_value":"JSGZAWVW","created_at":"2026-05-27T01:06:10.154071+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/JSGZAWVWBR73W65ZM5QZS6ICQE","json":"https://pith.science/pith/JSGZAWVWBR73W65ZM5QZS6ICQE.json","graph_json":"https://pith.science/api/pith-number/JSGZAWVWBR73W65ZM5QZS6ICQE/graph.json","events_json":"https://pith.science/api/pith-number/JSGZAWVWBR73W65ZM5QZS6ICQE/events.json","paper":"https://pith.science/paper/JSGZAWVW"},"agent_actions":{"view_html":"https://pith.science/pith/JSGZAWVWBR73W65ZM5QZS6ICQE","download_json":"https://pith.science/pith/JSGZAWVWBR73W65ZM5QZS6ICQE.json","view_paper":"https://pith.science/paper/JSGZAWVW","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.26739&json=true","fetch_graph":"https://pith.science/api/pith-number/JSGZAWVWBR73W65ZM5QZS6ICQE/graph.json","fetch_events":"https://pith.science/api/pith-number/JSGZAWVWBR73W65ZM5QZS6ICQE/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/JSGZAWVWBR73W65ZM5QZS6ICQE/action/timestamp_anchor","attest_storage":"https://pith.science/pith/JSGZAWVWBR73W65ZM5QZS6ICQE/action/storage_attestation","attest_author":"https://pith.science/pith/JSGZAWVWBR73W65ZM5QZS6ICQE/action/author_attestation","sign_citation":"https://pith.science/pith/JSGZAWVWBR73W65ZM5QZS6ICQE/action/citation_signature","submit_replication":"https://pith.science/pith/JSGZAWVWBR73W65ZM5QZS6ICQE/action/replication_record"}},"created_at":"2026-05-27T01:06:10.154071+00:00","updated_at":"2026-05-27T01:06:10.154071+00:00"}