{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:W63QXBU5L3OYIDAGU2FD3D7T7B","short_pith_number":"pith:W63QXBU5","canonical_record":{"source":{"id":"1707.08744","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-07-27T07:48:27Z","cross_cats_sorted":[],"title_canon_sha256":"86f9d418a4b5c65703b5043a30b8921cfb976268850c590700da3e4e98e4c6b7","abstract_canon_sha256":"352a0fb98f07a6697d10cf49f756ee4d650de03041d00616f9d8e25a26782219"},"schema_version":"1.0"},"canonical_sha256":"b7b70b869d5edd840c06a68a3d8ff3f8721b379d8813dce29c67ecf91b3fe59a","source":{"kind":"arxiv","id":"1707.08744","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.08744","created_at":"2026-05-18T00:39:19Z"},{"alias_kind":"arxiv_version","alias_value":"1707.08744v1","created_at":"2026-05-18T00:39:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.08744","created_at":"2026-05-18T00:39:19Z"},{"alias_kind":"pith_short_12","alias_value":"W63QXBU5L3OY","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_16","alias_value":"W63QXBU5L3OYIDAG","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_8","alias_value":"W63QXBU5","created_at":"2026-05-18T12:31:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:W63QXBU5L3OYIDAGU2FD3D7T7B","target":"record","payload":{"canonical_record":{"source":{"id":"1707.08744","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-07-27T07:48:27Z","cross_cats_sorted":[],"title_canon_sha256":"86f9d418a4b5c65703b5043a30b8921cfb976268850c590700da3e4e98e4c6b7","abstract_canon_sha256":"352a0fb98f07a6697d10cf49f756ee4d650de03041d00616f9d8e25a26782219"},"schema_version":"1.0"},"canonical_sha256":"b7b70b869d5edd840c06a68a3d8ff3f8721b379d8813dce29c67ecf91b3fe59a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:39:19.712220Z","signature_b64":"D1u05NCSN1+A/h71Idox6uPsD1HSrqT/fbRR6Ujt2NfPnfBghEHVraVQr3rZ/TjwTUMC6bPMmFzEn4zZhtTABg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b7b70b869d5edd840c06a68a3d8ff3f8721b379d8813dce29c67ecf91b3fe59a","last_reissued_at":"2026-05-18T00:39:19.711567Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:39:19.711567Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1707.08744","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:39:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qDQHLmdewDNJDjWdmoPfHCZwYtkmvVZdqxPI+7taRg7BAZj88p5siuRx/mjw0hJatV34ccBUht8u1czN+n/hBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T08:08:11.231487Z"},"content_sha256":"1393230bfc27cddd65cd638af30c984ccd2ec2262fe6eef0b7e3623e1c5d2726","schema_version":"1.0","event_id":"sha256:1393230bfc27cddd65cd638af30c984ccd2ec2262fe6eef0b7e3623e1c5d2726"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:W63QXBU5L3OYIDAGU2FD3D7T7B","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Conditional Belief, Knowledge and Probability","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"CWI), ILLC), Jan van Eijck (CWI, Kai Li (Peking University","submitted_at":"2017-07-27T07:48:27Z","abstract_excerpt":"A natural way to represent beliefs and the process of updating beliefs is presented by Bayesian probability theory, where belief of  an agent a in P can be interpreted as a considering that P is more probable than not P. This paper attempts to get at the core logical notion underlying this. \n  The paper presents a sound and complete neighbourhood logic for conditional belief and knowledge, and traces the connections with probabilistic logics of belief and knowledge. The key notion in this paper is that of an agent a believing P conditionally on having information Q, where it is assumed that Q "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.08744","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:39:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"10zVm8u9nPDXd/rkX0okwIRZnpOVVan4W6nSwiRJhiRT0c+Uw/LIB8Ut/12kpkTCPd7qA1kD1l1N8U4u0yjnCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T08:08:11.232243Z"},"content_sha256":"d0b4c0fb34ab5571524f604ae55cde68cb6c55ab72ffef0f5f1c03411f8b9894","schema_version":"1.0","event_id":"sha256:d0b4c0fb34ab5571524f604ae55cde68cb6c55ab72ffef0f5f1c03411f8b9894"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/W63QXBU5L3OYIDAGU2FD3D7T7B/bundle.json","state_url":"https://pith.science/pith/W63QXBU5L3OYIDAGU2FD3D7T7B/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/W63QXBU5L3OYIDAGU2FD3D7T7B/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-11T08:08:11Z","links":{"resolver":"https://pith.science/pith/W63QXBU5L3OYIDAGU2FD3D7T7B","bundle":"https://pith.science/pith/W63QXBU5L3OYIDAGU2FD3D7T7B/bundle.json","state":"https://pith.science/pith/W63QXBU5L3OYIDAGU2FD3D7T7B/state.json","well_known_bundle":"https://pith.science/.well-known/pith/W63QXBU5L3OYIDAGU2FD3D7T7B/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:W63QXBU5L3OYIDAGU2FD3D7T7B","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":"352a0fb98f07a6697d10cf49f756ee4d650de03041d00616f9d8e25a26782219","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-07-27T07:48:27Z","title_canon_sha256":"86f9d418a4b5c65703b5043a30b8921cfb976268850c590700da3e4e98e4c6b7"},"schema_version":"1.0","source":{"id":"1707.08744","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.08744","created_at":"2026-05-18T00:39:19Z"},{"alias_kind":"arxiv_version","alias_value":"1707.08744v1","created_at":"2026-05-18T00:39:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.08744","created_at":"2026-05-18T00:39:19Z"},{"alias_kind":"pith_short_12","alias_value":"W63QXBU5L3OY","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_16","alias_value":"W63QXBU5L3OYIDAG","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_8","alias_value":"W63QXBU5","created_at":"2026-05-18T12:31:53Z"}],"graph_snapshots":[{"event_id":"sha256:d0b4c0fb34ab5571524f604ae55cde68cb6c55ab72ffef0f5f1c03411f8b9894","target":"graph","created_at":"2026-05-18T00:39:19Z","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":"A natural way to represent beliefs and the process of updating beliefs is presented by Bayesian probability theory, where belief of  an agent a in P can be interpreted as a considering that P is more probable than not P. This paper attempts to get at the core logical notion underlying this. \n  The paper presents a sound and complete neighbourhood logic for conditional belief and knowledge, and traces the connections with probabilistic logics of belief and knowledge. The key notion in this paper is that of an agent a believing P conditionally on having information Q, where it is assumed that Q ","authors_text":"CWI), ILLC), Jan van Eijck (CWI, Kai Li (Peking University","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-07-27T07:48:27Z","title":"Conditional Belief, Knowledge and Probability"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.08744","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:1393230bfc27cddd65cd638af30c984ccd2ec2262fe6eef0b7e3623e1c5d2726","target":"record","created_at":"2026-05-18T00:39:19Z","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":"352a0fb98f07a6697d10cf49f756ee4d650de03041d00616f9d8e25a26782219","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-07-27T07:48:27Z","title_canon_sha256":"86f9d418a4b5c65703b5043a30b8921cfb976268850c590700da3e4e98e4c6b7"},"schema_version":"1.0","source":{"id":"1707.08744","kind":"arxiv","version":1}},"canonical_sha256":"b7b70b869d5edd840c06a68a3d8ff3f8721b379d8813dce29c67ecf91b3fe59a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b7b70b869d5edd840c06a68a3d8ff3f8721b379d8813dce29c67ecf91b3fe59a","first_computed_at":"2026-05-18T00:39:19.711567Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:39:19.711567Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"D1u05NCSN1+A/h71Idox6uPsD1HSrqT/fbRR6Ujt2NfPnfBghEHVraVQr3rZ/TjwTUMC6bPMmFzEn4zZhtTABg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:39:19.712220Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.08744","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1393230bfc27cddd65cd638af30c984ccd2ec2262fe6eef0b7e3623e1c5d2726","sha256:d0b4c0fb34ab5571524f604ae55cde68cb6c55ab72ffef0f5f1c03411f8b9894"],"state_sha256":"5761a8b3cab1ea910abe71ae97f32393b4ea8aa493b8e2f8c876257a78fe9cf4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wzhIlq5hcArTpNahapk1PqBFXQj8UyPPfRNg6KC4OvaaBVQ1f/7ThlASBJ6SrysynECeUAjRGnph6oVILHBRAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T08:08:11.236258Z","bundle_sha256":"02e7c64eb63b2ff94808eafca8b722d40e51b808206b8a5a3edbb859f2d1ba5c"}}