{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:DCQOUJZTS2BPE3HINM2ZBG2VHX","short_pith_number":"pith:DCQOUJZT","canonical_record":{"source":{"id":"1710.03481","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-10-10T09:45:25Z","cross_cats_sorted":["cs.LO","cs.MA"],"title_canon_sha256":"00e9c50beb06d5f8b180b803351bd767e2b8295e75a84e53b6d65fcebddbd7b6","abstract_canon_sha256":"3fd9f81b4f3370abcf003f3e156f98e5316a73a3c9ce76f5062ec1bee3af20ee"},"schema_version":"1.0"},"canonical_sha256":"18a0ea27339682f26ce86b35909b553de819f750ecff38e341a39e44531be758","source":{"kind":"arxiv","id":"1710.03481","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.03481","created_at":"2026-05-18T00:33:11Z"},{"alias_kind":"arxiv_version","alias_value":"1710.03481v1","created_at":"2026-05-18T00:33:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.03481","created_at":"2026-05-18T00:33:11Z"},{"alias_kind":"pith_short_12","alias_value":"DCQOUJZTS2BP","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_16","alias_value":"DCQOUJZTS2BPE3HI","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_8","alias_value":"DCQOUJZT","created_at":"2026-05-18T12:31:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:DCQOUJZTS2BPE3HINM2ZBG2VHX","target":"record","payload":{"canonical_record":{"source":{"id":"1710.03481","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-10-10T09:45:25Z","cross_cats_sorted":["cs.LO","cs.MA"],"title_canon_sha256":"00e9c50beb06d5f8b180b803351bd767e2b8295e75a84e53b6d65fcebddbd7b6","abstract_canon_sha256":"3fd9f81b4f3370abcf003f3e156f98e5316a73a3c9ce76f5062ec1bee3af20ee"},"schema_version":"1.0"},"canonical_sha256":"18a0ea27339682f26ce86b35909b553de819f750ecff38e341a39e44531be758","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:33:11.789465Z","signature_b64":"HFQO7fR90WS5smD6ZasOb3xbkRPmaoiWqt1a9lUxmLWAul1KEubsrhJGMWeOR8lRKu8y35LDRlyxItFMaLBaDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"18a0ea27339682f26ce86b35909b553de819f750ecff38e341a39e44531be758","last_reissued_at":"2026-05-18T00:33:11.788821Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:33:11.788821Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1710.03481","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:33:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vguP+JW+UpskTq0rKJBPU2G7Go9fSw5bBAaJOBoW40kc6NECBkBxaS2lwN+ZmXlHs/7fGcofqXpYqLTmkGSvDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T20:06:04.429186Z"},"content_sha256":"ffb6ef814710b1a971bbb488ec9f1c1ffe808964ade7e14b80d0ffde2cff2d35","schema_version":"1.0","event_id":"sha256:ffb6ef814710b1a971bbb488ec9f1c1ffe808964ade7e14b80d0ffde2cff2d35"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:DCQOUJZTS2BPE3HINM2ZBG2VHX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Note on Nesting in Dyadic Deontic Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","cs.MA"],"primary_cat":"cs.AI","authors_text":"Agneau Belanyek, Davide Grossi, Wiebe van der Hoek","submitted_at":"2017-10-10T09:45:25Z","abstract_excerpt":"The paper reports on some results concerning Aqvist's dyadic logic known as system G, which is one of the most influential logics for reasoning with dyadic obligations (\"it ought to be the case that ... if it is the case that ...\"). Although this logic has been known in the literature for a while, many of its properties still await in-depth consideration. In this short paper we show: that any formula in system G including nested modal operators is equivalent to some formula with no nesting; that the universal modality introduced by Aqvist in the first presentation of the system is definable in"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.03481","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":""},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:33:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Qf5+o2+Ourk7KeMKk+RGut2yq8G2dw/Ry7fjr+gNljw3xs0AyriDcFiZazBHSbuNzeKgZQsjh7abXPG+uXSSBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T20:06:04.429547Z"},"content_sha256":"d291344bb055ba7963d9cef2898c21aab9504136c86e770cf46021c05cfd86cd","schema_version":"1.0","event_id":"sha256:d291344bb055ba7963d9cef2898c21aab9504136c86e770cf46021c05cfd86cd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DCQOUJZTS2BPE3HINM2ZBG2VHX/bundle.json","state_url":"https://pith.science/pith/DCQOUJZTS2BPE3HINM2ZBG2VHX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DCQOUJZTS2BPE3HINM2ZBG2VHX/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-23T20:06:04Z","links":{"resolver":"https://pith.science/pith/DCQOUJZTS2BPE3HINM2ZBG2VHX","bundle":"https://pith.science/pith/DCQOUJZTS2BPE3HINM2ZBG2VHX/bundle.json","state":"https://pith.science/pith/DCQOUJZTS2BPE3HINM2ZBG2VHX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DCQOUJZTS2BPE3HINM2ZBG2VHX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:DCQOUJZTS2BPE3HINM2ZBG2VHX","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"3fd9f81b4f3370abcf003f3e156f98e5316a73a3c9ce76f5062ec1bee3af20ee","cross_cats_sorted":["cs.LO","cs.MA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-10-10T09:45:25Z","title_canon_sha256":"00e9c50beb06d5f8b180b803351bd767e2b8295e75a84e53b6d65fcebddbd7b6"},"schema_version":"1.0","source":{"id":"1710.03481","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.03481","created_at":"2026-05-18T00:33:11Z"},{"alias_kind":"arxiv_version","alias_value":"1710.03481v1","created_at":"2026-05-18T00:33:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.03481","created_at":"2026-05-18T00:33:11Z"},{"alias_kind":"pith_short_12","alias_value":"DCQOUJZTS2BP","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_16","alias_value":"DCQOUJZTS2BPE3HI","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_8","alias_value":"DCQOUJZT","created_at":"2026-05-18T12:31:10Z"}],"graph_snapshots":[{"event_id":"sha256:d291344bb055ba7963d9cef2898c21aab9504136c86e770cf46021c05cfd86cd","target":"graph","created_at":"2026-05-18T00:33:11Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"The paper reports on some results concerning Aqvist's dyadic logic known as system G, which is one of the most influential logics for reasoning with dyadic obligations (\"it ought to be the case that ... if it is the case that ...\"). Although this logic has been known in the literature for a while, many of its properties still await in-depth consideration. In this short paper we show: that any formula in system G including nested modal operators is equivalent to some formula with no nesting; that the universal modality introduced by Aqvist in the first presentation of the system is definable in","authors_text":"Agneau Belanyek, Davide Grossi, Wiebe van der Hoek","cross_cats":["cs.LO","cs.MA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-10-10T09:45:25Z","title":"A Note on Nesting in Dyadic Deontic Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.03481","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:ffb6ef814710b1a971bbb488ec9f1c1ffe808964ade7e14b80d0ffde2cff2d35","target":"record","created_at":"2026-05-18T00:33:11Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"3fd9f81b4f3370abcf003f3e156f98e5316a73a3c9ce76f5062ec1bee3af20ee","cross_cats_sorted":["cs.LO","cs.MA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-10-10T09:45:25Z","title_canon_sha256":"00e9c50beb06d5f8b180b803351bd767e2b8295e75a84e53b6d65fcebddbd7b6"},"schema_version":"1.0","source":{"id":"1710.03481","kind":"arxiv","version":1}},"canonical_sha256":"18a0ea27339682f26ce86b35909b553de819f750ecff38e341a39e44531be758","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"18a0ea27339682f26ce86b35909b553de819f750ecff38e341a39e44531be758","first_computed_at":"2026-05-18T00:33:11.788821Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:33:11.788821Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"HFQO7fR90WS5smD6ZasOb3xbkRPmaoiWqt1a9lUxmLWAul1KEubsrhJGMWeOR8lRKu8y35LDRlyxItFMaLBaDg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:33:11.789465Z","signed_message":"canonical_sha256_bytes"},"source_id":"1710.03481","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ffb6ef814710b1a971bbb488ec9f1c1ffe808964ade7e14b80d0ffde2cff2d35","sha256:d291344bb055ba7963d9cef2898c21aab9504136c86e770cf46021c05cfd86cd"],"state_sha256":"26d8f078d2b5db875042d0b9e26cc3f4f2e41b846d5a725bc36ccf91a035ff49"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QdKeuaJclobtJ5VGEq11IITsStMgzRk2qcO6GgWG3uzyTdd8Qkn2BSkYss5nzT6eN3oaBVYRZjs6s70H7YmHDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T20:06:04.431458Z","bundle_sha256":"4893647e7767d2e868614f18fdb24127503252eca4cbea4d1f68dcb7ee101393"}}