{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:VY25E4IDRDKQ2ODIO3IMPNT2XW","short_pith_number":"pith:VY25E4ID","schema_version":"1.0","canonical_sha256":"ae35d2710388d50d386876d0c7b67abda97687305ed8ff4429284a3908cf24bb","source":{"kind":"arxiv","id":"1407.7184","version":1},"attestation_state":"computed","paper":{"title":"Reasoning about Expectation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Joseph Y. Halpern, Riccardo Pucella","submitted_at":"2014-07-27T05:25:25Z","abstract_excerpt":"Expectation is a central notion in probability theory. The notion of expectation also makes sense for other notions of uncertainty.  We introduce a propositional logic for reasoning about expectation, where the semantics depends on the underlying representation  of uncertainty.  We give sound and complete axiomatizations for the logic in the case that the underlying representation is (a) probability, (b) sets of probability measures, (c) belief functions, and (d) possibility measures.  We show that this logic is more expressive than the corresponding logic for reasoning about likelihood in the"},"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":"1407.7184","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-07-27T05:25:25Z","cross_cats_sorted":[],"title_canon_sha256":"6505843f21a2539f9e8da2ac9d1aa2fde83b79feb3c6a6ca824e1800e6ac3bd0","abstract_canon_sha256":"14ba567d63cd563e5b9dfc4a6d4b1f37185c71fe029f8a54fecf0426489a9c83"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:46:23.714607Z","signature_b64":"JgN5jS1tQVyTzMgx73ncFd5vpUvK8u3YvrsQiVJXYUZwdpa9J+NnHLfdbEAJYwXtRnqpk47rDHEFtWRht97+DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ae35d2710388d50d386876d0c7b67abda97687305ed8ff4429284a3908cf24bb","last_reissued_at":"2026-05-18T02:46:23.714183Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:46:23.714183Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Reasoning about Expectation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Joseph Y. Halpern, Riccardo Pucella","submitted_at":"2014-07-27T05:25:25Z","abstract_excerpt":"Expectation is a central notion in probability theory. The notion of expectation also makes sense for other notions of uncertainty.  We introduce a propositional logic for reasoning about expectation, where the semantics depends on the underlying representation  of uncertainty.  We give sound and complete axiomatizations for the logic in the case that the underlying representation is (a) probability, (b) sets of probability measures, (c) belief functions, and (d) possibility measures.  We show that this logic is more expressive than the corresponding logic for reasoning about likelihood in the"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.7184","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1407.7184","created_at":"2026-05-18T02:46:23.714243+00:00"},{"alias_kind":"arxiv_version","alias_value":"1407.7184v1","created_at":"2026-05-18T02:46:23.714243+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.7184","created_at":"2026-05-18T02:46:23.714243+00:00"},{"alias_kind":"pith_short_12","alias_value":"VY25E4IDRDKQ","created_at":"2026-05-18T12:28:54.890064+00:00"},{"alias_kind":"pith_short_16","alias_value":"VY25E4IDRDKQ2ODI","created_at":"2026-05-18T12:28:54.890064+00:00"},{"alias_kind":"pith_short_8","alias_value":"VY25E4ID","created_at":"2026-05-18T12:28:54.890064+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/VY25E4IDRDKQ2ODIO3IMPNT2XW","json":"https://pith.science/pith/VY25E4IDRDKQ2ODIO3IMPNT2XW.json","graph_json":"https://pith.science/api/pith-number/VY25E4IDRDKQ2ODIO3IMPNT2XW/graph.json","events_json":"https://pith.science/api/pith-number/VY25E4IDRDKQ2ODIO3IMPNT2XW/events.json","paper":"https://pith.science/paper/VY25E4ID"},"agent_actions":{"view_html":"https://pith.science/pith/VY25E4IDRDKQ2ODIO3IMPNT2XW","download_json":"https://pith.science/pith/VY25E4IDRDKQ2ODIO3IMPNT2XW.json","view_paper":"https://pith.science/paper/VY25E4ID","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1407.7184&json=true","fetch_graph":"https://pith.science/api/pith-number/VY25E4IDRDKQ2ODIO3IMPNT2XW/graph.json","fetch_events":"https://pith.science/api/pith-number/VY25E4IDRDKQ2ODIO3IMPNT2XW/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/VY25E4IDRDKQ2ODIO3IMPNT2XW/action/timestamp_anchor","attest_storage":"https://pith.science/pith/VY25E4IDRDKQ2ODIO3IMPNT2XW/action/storage_attestation","attest_author":"https://pith.science/pith/VY25E4IDRDKQ2ODIO3IMPNT2XW/action/author_attestation","sign_citation":"https://pith.science/pith/VY25E4IDRDKQ2ODIO3IMPNT2XW/action/citation_signature","submit_replication":"https://pith.science/pith/VY25E4IDRDKQ2ODIO3IMPNT2XW/action/replication_record"}},"created_at":"2026-05-18T02:46:23.714243+00:00","updated_at":"2026-05-18T02:46:23.714243+00:00"}