{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:E7SX4RSGGKLNR35UVX7DKXOOMZ","short_pith_number":"pith:E7SX4RSG","canonical_record":{"source":{"id":"1507.01111","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-07-04T14:46:31Z","cross_cats_sorted":[],"title_canon_sha256":"ff82fde7908c89755efe81ef91660719a73a551f2155a4568bb1485e874cd1b7","abstract_canon_sha256":"dd085492ab7bb6cbce0b46ea954ac9e32e74b453740ba4409e73f5d179b77c3e"},"schema_version":"1.0"},"canonical_sha256":"27e57e46463296d8efb4adfe355dce6650d6ee986cdd795bbc277afaf363049b","source":{"kind":"arxiv","id":"1507.01111","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.01111","created_at":"2026-05-18T01:37:18Z"},{"alias_kind":"arxiv_version","alias_value":"1507.01111v1","created_at":"2026-05-18T01:37:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.01111","created_at":"2026-05-18T01:37:18Z"},{"alias_kind":"pith_short_12","alias_value":"E7SX4RSGGKLN","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_16","alias_value":"E7SX4RSGGKLNR35U","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_8","alias_value":"E7SX4RSG","created_at":"2026-05-18T12:29:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:E7SX4RSGGKLNR35UVX7DKXOOMZ","target":"record","payload":{"canonical_record":{"source":{"id":"1507.01111","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-07-04T14:46:31Z","cross_cats_sorted":[],"title_canon_sha256":"ff82fde7908c89755efe81ef91660719a73a551f2155a4568bb1485e874cd1b7","abstract_canon_sha256":"dd085492ab7bb6cbce0b46ea954ac9e32e74b453740ba4409e73f5d179b77c3e"},"schema_version":"1.0"},"canonical_sha256":"27e57e46463296d8efb4adfe355dce6650d6ee986cdd795bbc277afaf363049b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:37:18.130408Z","signature_b64":"OqjqoQIDu0Eps/U7S0S8o0ioL3fyeB00JeAD5tdXU5/IyMhrfLQ9fKau3NCle8iLMBcL2IZXAv+eBykemcqhAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"27e57e46463296d8efb4adfe355dce6650d6ee986cdd795bbc277afaf363049b","last_reissued_at":"2026-05-18T01:37:18.129522Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:37:18.129522Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1507.01111","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-18T01:37:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oiEIUq95RQplbXsdlx+SnugBaX9fYVxZiuH7ySrH6iAN0BgC0p+3W3bwWuwLE0LbcSmHNws6PtAM6EDzQ8zRAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T13:38:04.447042Z"},"content_sha256":"8f9a862a7c081edfc043b9e4cfa72f234b2791af09ac6be3f901e07e0ae1d426","schema_version":"1.0","event_id":"sha256:8f9a862a7c081edfc043b9e4cfa72f234b2791af09ac6be3f901e07e0ae1d426"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:E7SX4RSGGKLNR35UVX7DKXOOMZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Forgetting complex propositions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"\\'Angel Nepomuceno-Fern\\'andez, David Fern\\'andez-Duque, Enrique Sarri\\'on-Morrillo, Fernando R. Vel\\'azquez-Quesada, Fernando Soler-Toscano","submitted_at":"2015-07-04T14:46:31Z","abstract_excerpt":"This paper uses possible-world semantics to model the changes that may occur in an agent's knowledge as she loses information. This builds on previous work in which the agent may forget the truth-value of an atomic proposition, to a more general case where she may forget the truth-value of a propositional formula. The generalization poses some challenges, since in order to forget whether a complex proposition $\\pi$ is the case, the agent must also lose information about the propositional atoms that appear in it, and there is no unambiguous way to go about this.\n  We resolve this situation by c"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.01111","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-18T01:37:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KtQRi86FKVuOdmokY8MHCbWRTkXsFqiTDqV73l1NSL5S+dI/RoW7ulHO+x6U8Dm3fuLHVbAzDIhstbE85vEZCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T13:38:04.447399Z"},"content_sha256":"324ef14f233f9f277fc4fcd2f2a8a868d785bd4fb3d1aec90f1ee5ec355c45de","schema_version":"1.0","event_id":"sha256:324ef14f233f9f277fc4fcd2f2a8a868d785bd4fb3d1aec90f1ee5ec355c45de"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/E7SX4RSGGKLNR35UVX7DKXOOMZ/bundle.json","state_url":"https://pith.science/pith/E7SX4RSGGKLNR35UVX7DKXOOMZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/E7SX4RSGGKLNR35UVX7DKXOOMZ/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-02T13:38:04Z","links":{"resolver":"https://pith.science/pith/E7SX4RSGGKLNR35UVX7DKXOOMZ","bundle":"https://pith.science/pith/E7SX4RSGGKLNR35UVX7DKXOOMZ/bundle.json","state":"https://pith.science/pith/E7SX4RSGGKLNR35UVX7DKXOOMZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/E7SX4RSGGKLNR35UVX7DKXOOMZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:E7SX4RSGGKLNR35UVX7DKXOOMZ","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":"dd085492ab7bb6cbce0b46ea954ac9e32e74b453740ba4409e73f5d179b77c3e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-07-04T14:46:31Z","title_canon_sha256":"ff82fde7908c89755efe81ef91660719a73a551f2155a4568bb1485e874cd1b7"},"schema_version":"1.0","source":{"id":"1507.01111","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.01111","created_at":"2026-05-18T01:37:18Z"},{"alias_kind":"arxiv_version","alias_value":"1507.01111v1","created_at":"2026-05-18T01:37:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.01111","created_at":"2026-05-18T01:37:18Z"},{"alias_kind":"pith_short_12","alias_value":"E7SX4RSGGKLN","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_16","alias_value":"E7SX4RSGGKLNR35U","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_8","alias_value":"E7SX4RSG","created_at":"2026-05-18T12:29:19Z"}],"graph_snapshots":[{"event_id":"sha256:324ef14f233f9f277fc4fcd2f2a8a868d785bd4fb3d1aec90f1ee5ec355c45de","target":"graph","created_at":"2026-05-18T01:37:18Z","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":"This paper uses possible-world semantics to model the changes that may occur in an agent's knowledge as she loses information. This builds on previous work in which the agent may forget the truth-value of an atomic proposition, to a more general case where she may forget the truth-value of a propositional formula. The generalization poses some challenges, since in order to forget whether a complex proposition $\\pi$ is the case, the agent must also lose information about the propositional atoms that appear in it, and there is no unambiguous way to go about this.\n  We resolve this situation by c","authors_text":"\\'Angel Nepomuceno-Fern\\'andez, David Fern\\'andez-Duque, Enrique Sarri\\'on-Morrillo, Fernando R. Vel\\'azquez-Quesada, Fernando Soler-Toscano","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-07-04T14:46:31Z","title":"Forgetting complex propositions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.01111","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:8f9a862a7c081edfc043b9e4cfa72f234b2791af09ac6be3f901e07e0ae1d426","target":"record","created_at":"2026-05-18T01:37:18Z","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":"dd085492ab7bb6cbce0b46ea954ac9e32e74b453740ba4409e73f5d179b77c3e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-07-04T14:46:31Z","title_canon_sha256":"ff82fde7908c89755efe81ef91660719a73a551f2155a4568bb1485e874cd1b7"},"schema_version":"1.0","source":{"id":"1507.01111","kind":"arxiv","version":1}},"canonical_sha256":"27e57e46463296d8efb4adfe355dce6650d6ee986cdd795bbc277afaf363049b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"27e57e46463296d8efb4adfe355dce6650d6ee986cdd795bbc277afaf363049b","first_computed_at":"2026-05-18T01:37:18.129522Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:37:18.129522Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"OqjqoQIDu0Eps/U7S0S8o0ioL3fyeB00JeAD5tdXU5/IyMhrfLQ9fKau3NCle8iLMBcL2IZXAv+eBykemcqhAg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:37:18.130408Z","signed_message":"canonical_sha256_bytes"},"source_id":"1507.01111","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8f9a862a7c081edfc043b9e4cfa72f234b2791af09ac6be3f901e07e0ae1d426","sha256:324ef14f233f9f277fc4fcd2f2a8a868d785bd4fb3d1aec90f1ee5ec355c45de"],"state_sha256":"05f91f044ebce5e82639bf1774b7fd778c89c7d917c9b4bf30d72adbc5df7aca"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"l0iBfmUHGIHD8AnCpHRkCuc5z9h9MDfiOICQ0tctTZ8HUyzUDSPnUr7ri76gJFXNQx3yOV3XdUac6uewSJe8Aw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T13:38:04.449516Z","bundle_sha256":"b83879d8bc2081a5d2c63de555ea22468b1e9b472a03f04fdc4f53012da57c3a"}}