{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:MHVJRQNYFUBIL72BUKOGD2TEMF","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":"07cd79e3e2da696c47a6befb77529af8e6e97573e57ec3b0c3020e72d08e6e62","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-07-27T05:25:52Z","title_canon_sha256":"3b36c1c8f7258462186c3b84ef15f851e093dfb743a59c9b01f98d7ad367f9f1"},"schema_version":"1.0","source":{"id":"1407.7185","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1407.7185","created_at":"2026-05-18T02:46:23Z"},{"alias_kind":"arxiv_version","alias_value":"1407.7185v1","created_at":"2026-05-18T02:46:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.7185","created_at":"2026-05-18T02:46:23Z"},{"alias_kind":"pith_short_12","alias_value":"MHVJRQNYFUBI","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_16","alias_value":"MHVJRQNYFUBIL72B","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_8","alias_value":"MHVJRQNY","created_at":"2026-05-18T12:28:38Z"}],"graph_snapshots":[{"event_id":"sha256:59f7015a81ef60b4bce8ec95e500a2ab33a4ee40cbf79bda41d4ec93fa4e5bdd","target":"graph","created_at":"2026-05-18T02:46:23Z","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 for reasoning about evidence, that essentially views     evidence as a function from prior beliefs (before making an observation) to     posterior beliefs (after making the observation). We provide a sound and     complete axiomatization for the logic, and consider the complexity of the     decision problem. Although the reasoning in the logic is mainly propositional,     we allow variables representing numbers and quantification over them. This     expressive power seems necessary to capture important properties of evidence","authors_text":"Joseph Y. Halpern, Riccardo Pucella","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-07-27T05:25:52Z","title":"A Logic for Reasoning about Evidence"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.7185","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:f2d0112cfb23cd08b4c34aea02cc57e18aa30707f6603aec8460798feb2e2509","target":"record","created_at":"2026-05-18T02:46:23Z","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":"07cd79e3e2da696c47a6befb77529af8e6e97573e57ec3b0c3020e72d08e6e62","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-07-27T05:25:52Z","title_canon_sha256":"3b36c1c8f7258462186c3b84ef15f851e093dfb743a59c9b01f98d7ad367f9f1"},"schema_version":"1.0","source":{"id":"1407.7185","kind":"arxiv","version":1}},"canonical_sha256":"61ea98c1b82d0285ff41a29c61ea646163618a65c1dfddd8b6ac6fe9daf43573","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"61ea98c1b82d0285ff41a29c61ea646163618a65c1dfddd8b6ac6fe9daf43573","first_computed_at":"2026-05-18T02:46:23.708744Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:46:23.708744Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3VBjoQuXI6xgHkqo09F2KQid4dexq5ZmrDtvfYRnhOSbssK7tKVxUOFApyTZjqgI6i23KLv885XQT3wAGGKQAg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:46:23.709158Z","signed_message":"canonical_sha256_bytes"},"source_id":"1407.7185","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f2d0112cfb23cd08b4c34aea02cc57e18aa30707f6603aec8460798feb2e2509","sha256:59f7015a81ef60b4bce8ec95e500a2ab33a4ee40cbf79bda41d4ec93fa4e5bdd"],"state_sha256":"675589fcbd7b578f397a09a48fbdb2bf2dc54dc096c6ddf66599998721fb662e"}