{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:UHN5SQMPN6DCRTMRPNZDS32LWJ","short_pith_number":"pith:UHN5SQMP","canonical_record":{"source":{"id":"1707.09978","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-07-27T07:46:38Z","cross_cats_sorted":[],"title_canon_sha256":"572f185997a5e5576d3fb492c293e741419fc57761aa17fbe433b1305d8fe4c7","abstract_canon_sha256":"352687ce0645e03c0590a3ba9e37a0881bc150541cc8e5c02a640528a5b40ea7"},"schema_version":"1.0"},"canonical_sha256":"a1dbd9418f6f8628cd917b72396f4bb26334982fe2b81e610694c8c39a25e9c2","source":{"kind":"arxiv","id":"1707.09978","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.09978","created_at":"2026-05-18T00:39:07Z"},{"alias_kind":"arxiv_version","alias_value":"1707.09978v1","created_at":"2026-05-18T00:39:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.09978","created_at":"2026-05-18T00:39:07Z"},{"alias_kind":"pith_short_12","alias_value":"UHN5SQMPN6DC","created_at":"2026-05-18T12:31:46Z"},{"alias_kind":"pith_short_16","alias_value":"UHN5SQMPN6DCRTMR","created_at":"2026-05-18T12:31:46Z"},{"alias_kind":"pith_short_8","alias_value":"UHN5SQMP","created_at":"2026-05-18T12:31:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:UHN5SQMPN6DCRTMRPNZDS32LWJ","target":"record","payload":{"canonical_record":{"source":{"id":"1707.09978","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-07-27T07:46:38Z","cross_cats_sorted":[],"title_canon_sha256":"572f185997a5e5576d3fb492c293e741419fc57761aa17fbe433b1305d8fe4c7","abstract_canon_sha256":"352687ce0645e03c0590a3ba9e37a0881bc150541cc8e5c02a640528a5b40ea7"},"schema_version":"1.0"},"canonical_sha256":"a1dbd9418f6f8628cd917b72396f4bb26334982fe2b81e610694c8c39a25e9c2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:39:07.523239Z","signature_b64":"l4blCyZoW/2XEzG8IqwxPrug+uzGvIG9cLF4jA9VLPILTGeanvnxljF5itg5+MCHyRnH4Hrcwl5I8B9EA4euDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a1dbd9418f6f8628cd917b72396f4bb26334982fe2b81e610694c8c39a25e9c2","last_reissued_at":"2026-05-18T00:39:07.522680Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:39:07.522680Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1707.09978","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:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/r4XxCx+HfyZTrXHDmg5y7cU5r5EDU8W5bNBmaQmUa8chSlo5HZd+ohi1TxL16Ag6N1Ii4ZgfGcUkzKkyanxDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T10:42:29.163382Z"},"content_sha256":"1a08f66d2891e43dfe41529fb2b549e1316a90040f2d629d375f0bbbe29e67f4","schema_version":"1.0","event_id":"sha256:1a08f66d2891e43dfe41529fb2b549e1316a90040f2d629d375f0bbbe29e67f4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:UHN5SQMPN6DCRTMRPNZDS32LWJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Logic and Topology for Knowledge, Knowability, and Belief - Extended Abstract","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Adam Bjorndahl (CMU), Ayb\\\"uke \\\"Ozg\\\"un (LORIA-CNRS, ILLC)","submitted_at":"2017-07-27T07:46:38Z","abstract_excerpt":"In recent work, Stalnaker proposes a logical framework in which belief is realized as a weakened form of knowledge. Building on Stalnaker's core insights, and using frameworks developed by Bjorndahl and Baltag et al., we employ topological tools to refine and, we argue, improve on this analysis. The structure of topological subset spaces allows for a natural distinction between what is known and (roughly speaking) what is knowable; we argue that the foundational axioms of Stalnaker's system rely intuitively on both of these notions. More precisely, we argue that the plausibility of the princip"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.09978","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:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JLvY1G3Xwlatiin1iTX1erNHJNlD13frir4e/4XK7um+HzhqFO5L3L8CRl/CxHBNwUCxCVoP1x5k3Cz0fOfPBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T10:42:29.163725Z"},"content_sha256":"0a2c37b45456b13d41e08c7522b6a9771b42707dc5d06c9ae450c46d2826ee83","schema_version":"1.0","event_id":"sha256:0a2c37b45456b13d41e08c7522b6a9771b42707dc5d06c9ae450c46d2826ee83"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UHN5SQMPN6DCRTMRPNZDS32LWJ/bundle.json","state_url":"https://pith.science/pith/UHN5SQMPN6DCRTMRPNZDS32LWJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UHN5SQMPN6DCRTMRPNZDS32LWJ/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-11T10:42:29Z","links":{"resolver":"https://pith.science/pith/UHN5SQMPN6DCRTMRPNZDS32LWJ","bundle":"https://pith.science/pith/UHN5SQMPN6DCRTMRPNZDS32LWJ/bundle.json","state":"https://pith.science/pith/UHN5SQMPN6DCRTMRPNZDS32LWJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UHN5SQMPN6DCRTMRPNZDS32LWJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:UHN5SQMPN6DCRTMRPNZDS32LWJ","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":"352687ce0645e03c0590a3ba9e37a0881bc150541cc8e5c02a640528a5b40ea7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-07-27T07:46:38Z","title_canon_sha256":"572f185997a5e5576d3fb492c293e741419fc57761aa17fbe433b1305d8fe4c7"},"schema_version":"1.0","source":{"id":"1707.09978","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.09978","created_at":"2026-05-18T00:39:07Z"},{"alias_kind":"arxiv_version","alias_value":"1707.09978v1","created_at":"2026-05-18T00:39:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.09978","created_at":"2026-05-18T00:39:07Z"},{"alias_kind":"pith_short_12","alias_value":"UHN5SQMPN6DC","created_at":"2026-05-18T12:31:46Z"},{"alias_kind":"pith_short_16","alias_value":"UHN5SQMPN6DCRTMR","created_at":"2026-05-18T12:31:46Z"},{"alias_kind":"pith_short_8","alias_value":"UHN5SQMP","created_at":"2026-05-18T12:31:46Z"}],"graph_snapshots":[{"event_id":"sha256:0a2c37b45456b13d41e08c7522b6a9771b42707dc5d06c9ae450c46d2826ee83","target":"graph","created_at":"2026-05-18T00:39:07Z","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":"In recent work, Stalnaker proposes a logical framework in which belief is realized as a weakened form of knowledge. Building on Stalnaker's core insights, and using frameworks developed by Bjorndahl and Baltag et al., we employ topological tools to refine and, we argue, improve on this analysis. The structure of topological subset spaces allows for a natural distinction between what is known and (roughly speaking) what is knowable; we argue that the foundational axioms of Stalnaker's system rely intuitively on both of these notions. More precisely, we argue that the plausibility of the princip","authors_text":"Adam Bjorndahl (CMU), Ayb\\\"uke \\\"Ozg\\\"un (LORIA-CNRS, ILLC)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-07-27T07:46:38Z","title":"Logic and Topology for Knowledge, Knowability, and Belief - Extended Abstract"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.09978","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:1a08f66d2891e43dfe41529fb2b549e1316a90040f2d629d375f0bbbe29e67f4","target":"record","created_at":"2026-05-18T00:39:07Z","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":"352687ce0645e03c0590a3ba9e37a0881bc150541cc8e5c02a640528a5b40ea7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-07-27T07:46:38Z","title_canon_sha256":"572f185997a5e5576d3fb492c293e741419fc57761aa17fbe433b1305d8fe4c7"},"schema_version":"1.0","source":{"id":"1707.09978","kind":"arxiv","version":1}},"canonical_sha256":"a1dbd9418f6f8628cd917b72396f4bb26334982fe2b81e610694c8c39a25e9c2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a1dbd9418f6f8628cd917b72396f4bb26334982fe2b81e610694c8c39a25e9c2","first_computed_at":"2026-05-18T00:39:07.522680Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:39:07.522680Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"l4blCyZoW/2XEzG8IqwxPrug+uzGvIG9cLF4jA9VLPILTGeanvnxljF5itg5+MCHyRnH4Hrcwl5I8B9EA4euDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:39:07.523239Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.09978","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1a08f66d2891e43dfe41529fb2b549e1316a90040f2d629d375f0bbbe29e67f4","sha256:0a2c37b45456b13d41e08c7522b6a9771b42707dc5d06c9ae450c46d2826ee83"],"state_sha256":"4c5eed705c8a9be833cf3eae2d2f6fa99988f68a36cb8e01b5ab257b7dbfefdc"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"07hjd4ZLICn8AO+ExXsb5oF6hUSLRfMfcAM0Gidk3rAoPwJLKsT7jI9zlPBm+W6YGL1h7hWTvHnVecxbtavTCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T10:42:29.165728Z","bundle_sha256":"ed2d71d7e49b74e5796395c711daff447a4bc28237b285bb203a0fe6ff11a1d4"}}