{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:FZGDSGB2T7F3EGNEDZLMQZUN3T","short_pith_number":"pith:FZGDSGB2","canonical_record":{"source":{"id":"1102.3341","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2011-02-16T14:12:00Z","cross_cats_sorted":[],"title_canon_sha256":"1f475d02bf79e3009855024e2b4b50db73e2553704658cb42f11ccac0912928d","abstract_canon_sha256":"204b128ec8661e321ffcef34deb89859f18c010ca11bd1d78e927a6ecdbcd007"},"schema_version":"1.0"},"canonical_sha256":"2e4c39183a9fcbb219a41e56c8668ddcfbf3cf17e977469d7531b8822f7776f3","source":{"kind":"arxiv","id":"1102.3341","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1102.3341","created_at":"2026-05-18T04:23:21Z"},{"alias_kind":"arxiv_version","alias_value":"1102.3341v1","created_at":"2026-05-18T04:23:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1102.3341","created_at":"2026-05-18T04:23:21Z"},{"alias_kind":"pith_short_12","alias_value":"FZGDSGB2T7F3","created_at":"2026-05-18T12:26:28Z"},{"alias_kind":"pith_short_16","alias_value":"FZGDSGB2T7F3EGNE","created_at":"2026-05-18T12:26:28Z"},{"alias_kind":"pith_short_8","alias_value":"FZGDSGB2","created_at":"2026-05-18T12:26:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:FZGDSGB2T7F3EGNEDZLMQZUN3T","target":"record","payload":{"canonical_record":{"source":{"id":"1102.3341","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2011-02-16T14:12:00Z","cross_cats_sorted":[],"title_canon_sha256":"1f475d02bf79e3009855024e2b4b50db73e2553704658cb42f11ccac0912928d","abstract_canon_sha256":"204b128ec8661e321ffcef34deb89859f18c010ca11bd1d78e927a6ecdbcd007"},"schema_version":"1.0"},"canonical_sha256":"2e4c39183a9fcbb219a41e56c8668ddcfbf3cf17e977469d7531b8822f7776f3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:23:22.000360Z","signature_b64":"/Ap743BAdbAvKbHWK2MeECjkqC2m7zfZtio68XY+VHoSJXYVnYyPyB9ZaDt6mHCOEVPvRRQlnLdl0BMl9LF7Aw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2e4c39183a9fcbb219a41e56c8668ddcfbf3cf17e977469d7531b8822f7776f3","last_reissued_at":"2026-05-18T04:23:21.999469Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:23:21.999469Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1102.3341","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-18T04:23:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cXTO2dmDOfdCd/WxfDLqWd+rW6hDvfiXAOPtXS3rloUWTDsGPde2sXWjjK7uq7qHjQhisDUpovReIfI3Wvg/Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T17:14:13.305604Z"},"content_sha256":"110cbf086f16b361dfde04d18ebbb9e13a8ddabaa33dfee8c6a6254be4d92b22","schema_version":"1.0","event_id":"sha256:110cbf086f16b361dfde04d18ebbb9e13a8ddabaa33dfee8c6a6254be4d92b22"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:FZGDSGB2T7F3EGNEDZLMQZUN3T","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reasoning about Social Choice Functions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.MA","authors_text":"Michael Wooldridge, Nicolas Troquard, Wiebe van der Hoek","submitted_at":"2011-02-16T14:12:00Z","abstract_excerpt":"We introduce a logic specifically designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent preferences. We establish a correspondence between formulae in the logic and properties of social choice functions, and show that the logic is expressively complete with respect to social choice functions, i.e., that every social choice function can be characterised as a formula of the logic. We prove that the logic is decidable, and give a complete axiomatization. To demonstrate the value of the logic, we show "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1102.3341","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-18T04:23:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JYNVE2NrOWKvI3GTQ51E7QjwNdujfVqim//kdkjcNznAxscC4AN5Rz6ZJbpY84H4eAiDB70FDkMZJBok+ZTTCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T17:14:13.305951Z"},"content_sha256":"b1c2f3c1c856124c1a9554d3385918eab13c429448c95421fd84fe2940f96ac7","schema_version":"1.0","event_id":"sha256:b1c2f3c1c856124c1a9554d3385918eab13c429448c95421fd84fe2940f96ac7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FZGDSGB2T7F3EGNEDZLMQZUN3T/bundle.json","state_url":"https://pith.science/pith/FZGDSGB2T7F3EGNEDZLMQZUN3T/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FZGDSGB2T7F3EGNEDZLMQZUN3T/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-23T17:14:13Z","links":{"resolver":"https://pith.science/pith/FZGDSGB2T7F3EGNEDZLMQZUN3T","bundle":"https://pith.science/pith/FZGDSGB2T7F3EGNEDZLMQZUN3T/bundle.json","state":"https://pith.science/pith/FZGDSGB2T7F3EGNEDZLMQZUN3T/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FZGDSGB2T7F3EGNEDZLMQZUN3T/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:FZGDSGB2T7F3EGNEDZLMQZUN3T","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":"204b128ec8661e321ffcef34deb89859f18c010ca11bd1d78e927a6ecdbcd007","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2011-02-16T14:12:00Z","title_canon_sha256":"1f475d02bf79e3009855024e2b4b50db73e2553704658cb42f11ccac0912928d"},"schema_version":"1.0","source":{"id":"1102.3341","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1102.3341","created_at":"2026-05-18T04:23:21Z"},{"alias_kind":"arxiv_version","alias_value":"1102.3341v1","created_at":"2026-05-18T04:23:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1102.3341","created_at":"2026-05-18T04:23:21Z"},{"alias_kind":"pith_short_12","alias_value":"FZGDSGB2T7F3","created_at":"2026-05-18T12:26:28Z"},{"alias_kind":"pith_short_16","alias_value":"FZGDSGB2T7F3EGNE","created_at":"2026-05-18T12:26:28Z"},{"alias_kind":"pith_short_8","alias_value":"FZGDSGB2","created_at":"2026-05-18T12:26:28Z"}],"graph_snapshots":[{"event_id":"sha256:b1c2f3c1c856124c1a9554d3385918eab13c429448c95421fd84fe2940f96ac7","target":"graph","created_at":"2026-05-18T04:23:21Z","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":"We introduce a logic specifically designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent preferences. We establish a correspondence between formulae in the logic and properties of social choice functions, and show that the logic is expressively complete with respect to social choice functions, i.e., that every social choice function can be characterised as a formula of the logic. We prove that the logic is decidable, and give a complete axiomatization. To demonstrate the value of the logic, we show ","authors_text":"Michael Wooldridge, Nicolas Troquard, Wiebe van der Hoek","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2011-02-16T14:12:00Z","title":"Reasoning about Social Choice Functions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1102.3341","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:110cbf086f16b361dfde04d18ebbb9e13a8ddabaa33dfee8c6a6254be4d92b22","target":"record","created_at":"2026-05-18T04:23:21Z","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":"204b128ec8661e321ffcef34deb89859f18c010ca11bd1d78e927a6ecdbcd007","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2011-02-16T14:12:00Z","title_canon_sha256":"1f475d02bf79e3009855024e2b4b50db73e2553704658cb42f11ccac0912928d"},"schema_version":"1.0","source":{"id":"1102.3341","kind":"arxiv","version":1}},"canonical_sha256":"2e4c39183a9fcbb219a41e56c8668ddcfbf3cf17e977469d7531b8822f7776f3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2e4c39183a9fcbb219a41e56c8668ddcfbf3cf17e977469d7531b8822f7776f3","first_computed_at":"2026-05-18T04:23:21.999469Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:23:21.999469Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/Ap743BAdbAvKbHWK2MeECjkqC2m7zfZtio68XY+VHoSJXYVnYyPyB9ZaDt6mHCOEVPvRRQlnLdl0BMl9LF7Aw==","signature_status":"signed_v1","signed_at":"2026-05-18T04:23:22.000360Z","signed_message":"canonical_sha256_bytes"},"source_id":"1102.3341","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:110cbf086f16b361dfde04d18ebbb9e13a8ddabaa33dfee8c6a6254be4d92b22","sha256:b1c2f3c1c856124c1a9554d3385918eab13c429448c95421fd84fe2940f96ac7"],"state_sha256":"960743bad8ebeaad8aae861227ceaaa1c27ad9b13790eb609a5feb5274a107e3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UZkehf2/mfXHCUCUr1dqiM7PG6g6w+Lue8A2IOipGW1ipjMWBOhiwOCL9K+eFaEF/T50AeE0ScjNJiIDsq33Bg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T17:14:13.307892Z","bundle_sha256":"8fb9241699285c3b4cee02d64cf5cdd04feb7b8e165acfc2ac416c35dfaa6a88"}}