{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:OVD2RAIG3POHLHEKZG24RDPCSJ","short_pith_number":"pith:OVD2RAIG","canonical_record":{"source":{"id":"1209.1885","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-09-10T06:48:19Z","cross_cats_sorted":["cs.AI","cs.DC","cs.MA"],"title_canon_sha256":"09606c699b44560d75cb63ebbc7bab582db707783c972b3393202190873f9019","abstract_canon_sha256":"82e6f976d0e01a128603ea5e11bfbc53cd03ec8c0b6a0d38c5a1dd622d3801eb"},"schema_version":"1.0"},"canonical_sha256":"7547a88106dbdc759c8ac9b5c88de2927004709963d87d1a92113e42b23af78f","source":{"kind":"arxiv","id":"1209.1885","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1209.1885","created_at":"2026-05-18T03:45:54Z"},{"alias_kind":"arxiv_version","alias_value":"1209.1885v1","created_at":"2026-05-18T03:45:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1209.1885","created_at":"2026-05-18T03:45:54Z"},{"alias_kind":"pith_short_12","alias_value":"OVD2RAIG3POH","created_at":"2026-05-18T12:27:16Z"},{"alias_kind":"pith_short_16","alias_value":"OVD2RAIG3POHLHEK","created_at":"2026-05-18T12:27:16Z"},{"alias_kind":"pith_short_8","alias_value":"OVD2RAIG","created_at":"2026-05-18T12:27:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:OVD2RAIG3POHLHEKZG24RDPCSJ","target":"record","payload":{"canonical_record":{"source":{"id":"1209.1885","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-09-10T06:48:19Z","cross_cats_sorted":["cs.AI","cs.DC","cs.MA"],"title_canon_sha256":"09606c699b44560d75cb63ebbc7bab582db707783c972b3393202190873f9019","abstract_canon_sha256":"82e6f976d0e01a128603ea5e11bfbc53cd03ec8c0b6a0d38c5a1dd622d3801eb"},"schema_version":"1.0"},"canonical_sha256":"7547a88106dbdc759c8ac9b5c88de2927004709963d87d1a92113e42b23af78f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:45:54.117431Z","signature_b64":"5MxWzSQ0VJITqkfzd7pJsWrcHlhco61IKhRRM4A5ITd3bV4frtCtdSqHLBdjBB4Peexa0fk/W8rYdhCUz/nGAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7547a88106dbdc759c8ac9b5c88de2927004709963d87d1a92113e42b23af78f","last_reissued_at":"2026-05-18T03:45:54.117017Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:45:54.117017Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1209.1885","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-18T03:45:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QFVJxNBVg+HCFCtVmOuTmFV1cgkeUhaVDjOufBoQgk0HU0IpToMR0k6nq/ncAmngevmKM2kVo048jAV6Rx0wDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T20:57:21.098787Z"},"content_sha256":"688e50dca63a22b649a7f49914e47638fb82658fd489b810bb09a2895416663b","schema_version":"1.0","event_id":"sha256:688e50dca63a22b649a7f49914e47638fb82658fd489b810bb09a2895416663b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:OVD2RAIG3POHLHEKZG24RDPCSJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Parametric Constructive Kripke-Semantics for Standard Multi-Agent Belief and Knowledge (Knowledge As Unbiased Belief)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.DC","cs.MA"],"primary_cat":"cs.LO","authors_text":"Joshua Sack, Simon Kramer","submitted_at":"2012-09-10T06:48:19Z","abstract_excerpt":"We propose parametric constructive Kripke-semantics for multi-agent KD45-belief and S5-knowledge in terms of elementary set-theoretic constructions of two basic functional building blocks, namely bias (or viewpoint) and visibility, functioning also as the parameters of the doxastic and epistemic accessibility relation. The doxastic accessibility relates two possible worlds whenever the application of the composition of bias with visibility to the first world is equal to the application of visibility to the second world. The epistemic accessibility is the transitive closure of the union of our "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1209.1885","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-18T03:45:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HiXWdGoexrVtpFJItpaMH+c08qFc6O9XEgK3C6C47vqoBo0qB1w+zeYJuefNBvRxvzLWOWvo0He4/UZ73Q/MAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T20:57:21.099134Z"},"content_sha256":"8cde883ae98dab5e8165f9a35849b56f8ba1325a6327d3e7cb33a5c91dd529c1","schema_version":"1.0","event_id":"sha256:8cde883ae98dab5e8165f9a35849b56f8ba1325a6327d3e7cb33a5c91dd529c1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OVD2RAIG3POHLHEKZG24RDPCSJ/bundle.json","state_url":"https://pith.science/pith/OVD2RAIG3POHLHEKZG24RDPCSJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OVD2RAIG3POHLHEKZG24RDPCSJ/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-20T20:57:21Z","links":{"resolver":"https://pith.science/pith/OVD2RAIG3POHLHEKZG24RDPCSJ","bundle":"https://pith.science/pith/OVD2RAIG3POHLHEKZG24RDPCSJ/bundle.json","state":"https://pith.science/pith/OVD2RAIG3POHLHEKZG24RDPCSJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OVD2RAIG3POHLHEKZG24RDPCSJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:OVD2RAIG3POHLHEKZG24RDPCSJ","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":"82e6f976d0e01a128603ea5e11bfbc53cd03ec8c0b6a0d38c5a1dd622d3801eb","cross_cats_sorted":["cs.AI","cs.DC","cs.MA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-09-10T06:48:19Z","title_canon_sha256":"09606c699b44560d75cb63ebbc7bab582db707783c972b3393202190873f9019"},"schema_version":"1.0","source":{"id":"1209.1885","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1209.1885","created_at":"2026-05-18T03:45:54Z"},{"alias_kind":"arxiv_version","alias_value":"1209.1885v1","created_at":"2026-05-18T03:45:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1209.1885","created_at":"2026-05-18T03:45:54Z"},{"alias_kind":"pith_short_12","alias_value":"OVD2RAIG3POH","created_at":"2026-05-18T12:27:16Z"},{"alias_kind":"pith_short_16","alias_value":"OVD2RAIG3POHLHEK","created_at":"2026-05-18T12:27:16Z"},{"alias_kind":"pith_short_8","alias_value":"OVD2RAIG","created_at":"2026-05-18T12:27:16Z"}],"graph_snapshots":[{"event_id":"sha256:8cde883ae98dab5e8165f9a35849b56f8ba1325a6327d3e7cb33a5c91dd529c1","target":"graph","created_at":"2026-05-18T03:45:54Z","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 propose parametric constructive Kripke-semantics for multi-agent KD45-belief and S5-knowledge in terms of elementary set-theoretic constructions of two basic functional building blocks, namely bias (or viewpoint) and visibility, functioning also as the parameters of the doxastic and epistemic accessibility relation. The doxastic accessibility relates two possible worlds whenever the application of the composition of bias with visibility to the first world is equal to the application of visibility to the second world. The epistemic accessibility is the transitive closure of the union of our ","authors_text":"Joshua Sack, Simon Kramer","cross_cats":["cs.AI","cs.DC","cs.MA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-09-10T06:48:19Z","title":"Parametric Constructive Kripke-Semantics for Standard Multi-Agent Belief and Knowledge (Knowledge As Unbiased Belief)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1209.1885","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:688e50dca63a22b649a7f49914e47638fb82658fd489b810bb09a2895416663b","target":"record","created_at":"2026-05-18T03:45:54Z","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":"82e6f976d0e01a128603ea5e11bfbc53cd03ec8c0b6a0d38c5a1dd622d3801eb","cross_cats_sorted":["cs.AI","cs.DC","cs.MA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-09-10T06:48:19Z","title_canon_sha256":"09606c699b44560d75cb63ebbc7bab582db707783c972b3393202190873f9019"},"schema_version":"1.0","source":{"id":"1209.1885","kind":"arxiv","version":1}},"canonical_sha256":"7547a88106dbdc759c8ac9b5c88de2927004709963d87d1a92113e42b23af78f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7547a88106dbdc759c8ac9b5c88de2927004709963d87d1a92113e42b23af78f","first_computed_at":"2026-05-18T03:45:54.117017Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:45:54.117017Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5MxWzSQ0VJITqkfzd7pJsWrcHlhco61IKhRRM4A5ITd3bV4frtCtdSqHLBdjBB4Peexa0fk/W8rYdhCUz/nGAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:45:54.117431Z","signed_message":"canonical_sha256_bytes"},"source_id":"1209.1885","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:688e50dca63a22b649a7f49914e47638fb82658fd489b810bb09a2895416663b","sha256:8cde883ae98dab5e8165f9a35849b56f8ba1325a6327d3e7cb33a5c91dd529c1"],"state_sha256":"1325bf0a53180725e3e584a0311f8c92bb95bed672d434a43a8954d6198dc1e2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DgVlcybds9m1tewcgnj0Ty47IioDlFAUrB3sd4JIekNBRu62ewC5WiJe2oHxiY4ZIzjtETx2vkDvc6wFhyVPDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-20T20:57:21.100999Z","bundle_sha256":"7db921dd7c7fd34033fe3f0b4c28e03c222398358791ef0c947e3894f94852ae"}}