{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:FTFNTQFYQ35GT6HZL7S66W5X75","short_pith_number":"pith:FTFNTQFY","canonical_record":{"source":{"id":"1708.04070","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-08-14T10:47:33Z","cross_cats_sorted":["cs.CR","cs.SI"],"title_canon_sha256":"eb0d0f76d161cf63e36f819099ad950ed81d89de5cde97af6f2dd20f9d2a1e66","abstract_canon_sha256":"b267e7638eefb1902779522529004a696b3147930c81e6799488010010909c9a"},"schema_version":"1.0"},"canonical_sha256":"2ccad9c0b886fa69f8f95fe5ef5bb7ff4dd0c5d9ea9d6ad002041b4243185ee1","source":{"kind":"arxiv","id":"1708.04070","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.04070","created_at":"2026-05-18T00:16:23Z"},{"alias_kind":"arxiv_version","alias_value":"1708.04070v3","created_at":"2026-05-18T00:16:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.04070","created_at":"2026-05-18T00:16:23Z"},{"alias_kind":"pith_short_12","alias_value":"FTFNTQFYQ35G","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_16","alias_value":"FTFNTQFYQ35GT6HZ","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_8","alias_value":"FTFNTQFY","created_at":"2026-05-18T12:31:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:FTFNTQFYQ35GT6HZL7S66W5X75","target":"record","payload":{"canonical_record":{"source":{"id":"1708.04070","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-08-14T10:47:33Z","cross_cats_sorted":["cs.CR","cs.SI"],"title_canon_sha256":"eb0d0f76d161cf63e36f819099ad950ed81d89de5cde97af6f2dd20f9d2a1e66","abstract_canon_sha256":"b267e7638eefb1902779522529004a696b3147930c81e6799488010010909c9a"},"schema_version":"1.0"},"canonical_sha256":"2ccad9c0b886fa69f8f95fe5ef5bb7ff4dd0c5d9ea9d6ad002041b4243185ee1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:16:23.639872Z","signature_b64":"8h/ShubXmpHR2Rck0BSbyfa/+XavHX/MsBH7HrgDD7S24KNx0NFXiBaSFB4Tkn9oFgvZMs3d3X1+cyJc7nUiDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2ccad9c0b886fa69f8f95fe5ef5bb7ff4dd0c5d9ea9d6ad002041b4243185ee1","last_reissued_at":"2026-05-18T00:16:23.639347Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:16:23.639347Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1708.04070","source_version":3,"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:16:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gdV6gnVqZ/XbfFoBOW8Hv6ysI8joayX3Ef17FeR7Ft+iRnVDcibGl7xrDFxhArTT5uPhYlvzUlJxMkMDcrbcCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T13:12:18.769041Z"},"content_sha256":"bb125a85c4ded9cf271a8217b18b77c4a7eb02eece684ee96037083b466e50d6","schema_version":"1.0","event_id":"sha256:bb125a85c4ded9cf271a8217b18b77c4a7eb02eece684ee96037083b466e50d6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:FTFNTQFYQ35GT6HZL7S66W5X75","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Timed Epistemic Knowledge Bases for Social Networks (Extended Version)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR","cs.SI"],"primary_cat":"cs.LO","authors_text":"C\\'esar S\\'anchez, Gerardo Schneider, Ra\\'ul Pardo","submitted_at":"2017-08-14T10:47:33Z","abstract_excerpt":"We present an epistemic logic equipped with time-stamps in the atoms and epistemic operators, which allows to reason not only about information available to the different agents, but also about the moments at which events happens and new knowledge is acquired or deduced. Our logic includes both an epistemic operator and a belief operator, which allows to model the disclosure of information that may not be accurate.\n  Our main motivation is to model rich privacy policies in online social networks. Online Social Networks (OSNs) are increasingly used for social interactions in the modern digital "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.04070","kind":"arxiv","version":3},"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:16:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"o1xEif1STvBwZ1gvqQrzgIWbbjt386QdATgdyBiPi1YCI8OwIpNsq32zjVka5SxE/Y+BcIeMeHke7wDZcg3LBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T13:12:18.769669Z"},"content_sha256":"d57c3a412e041a54bb397242e67dc5c344b95735f2637b24941d736dd3a71a00","schema_version":"1.0","event_id":"sha256:d57c3a412e041a54bb397242e67dc5c344b95735f2637b24941d736dd3a71a00"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FTFNTQFYQ35GT6HZL7S66W5X75/bundle.json","state_url":"https://pith.science/pith/FTFNTQFYQ35GT6HZL7S66W5X75/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FTFNTQFYQ35GT6HZL7S66W5X75/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-05-27T13:12:18Z","links":{"resolver":"https://pith.science/pith/FTFNTQFYQ35GT6HZL7S66W5X75","bundle":"https://pith.science/pith/FTFNTQFYQ35GT6HZL7S66W5X75/bundle.json","state":"https://pith.science/pith/FTFNTQFYQ35GT6HZL7S66W5X75/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FTFNTQFYQ35GT6HZL7S66W5X75/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:FTFNTQFYQ35GT6HZL7S66W5X75","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":"b267e7638eefb1902779522529004a696b3147930c81e6799488010010909c9a","cross_cats_sorted":["cs.CR","cs.SI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-08-14T10:47:33Z","title_canon_sha256":"eb0d0f76d161cf63e36f819099ad950ed81d89de5cde97af6f2dd20f9d2a1e66"},"schema_version":"1.0","source":{"id":"1708.04070","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.04070","created_at":"2026-05-18T00:16:23Z"},{"alias_kind":"arxiv_version","alias_value":"1708.04070v3","created_at":"2026-05-18T00:16:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.04070","created_at":"2026-05-18T00:16:23Z"},{"alias_kind":"pith_short_12","alias_value":"FTFNTQFYQ35G","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_16","alias_value":"FTFNTQFYQ35GT6HZ","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_8","alias_value":"FTFNTQFY","created_at":"2026-05-18T12:31:15Z"}],"graph_snapshots":[{"event_id":"sha256:d57c3a412e041a54bb397242e67dc5c344b95735f2637b24941d736dd3a71a00","target":"graph","created_at":"2026-05-18T00:16:23Z","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 present an epistemic logic equipped with time-stamps in the atoms and epistemic operators, which allows to reason not only about information available to the different agents, but also about the moments at which events happens and new knowledge is acquired or deduced. Our logic includes both an epistemic operator and a belief operator, which allows to model the disclosure of information that may not be accurate.\n  Our main motivation is to model rich privacy policies in online social networks. Online Social Networks (OSNs) are increasingly used for social interactions in the modern digital ","authors_text":"C\\'esar S\\'anchez, Gerardo Schneider, Ra\\'ul Pardo","cross_cats":["cs.CR","cs.SI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-08-14T10:47:33Z","title":"Timed Epistemic Knowledge Bases for Social Networks (Extended Version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.04070","kind":"arxiv","version":3},"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:bb125a85c4ded9cf271a8217b18b77c4a7eb02eece684ee96037083b466e50d6","target":"record","created_at":"2026-05-18T00:16:23Z","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":"b267e7638eefb1902779522529004a696b3147930c81e6799488010010909c9a","cross_cats_sorted":["cs.CR","cs.SI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-08-14T10:47:33Z","title_canon_sha256":"eb0d0f76d161cf63e36f819099ad950ed81d89de5cde97af6f2dd20f9d2a1e66"},"schema_version":"1.0","source":{"id":"1708.04070","kind":"arxiv","version":3}},"canonical_sha256":"2ccad9c0b886fa69f8f95fe5ef5bb7ff4dd0c5d9ea9d6ad002041b4243185ee1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2ccad9c0b886fa69f8f95fe5ef5bb7ff4dd0c5d9ea9d6ad002041b4243185ee1","first_computed_at":"2026-05-18T00:16:23.639347Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:16:23.639347Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8h/ShubXmpHR2Rck0BSbyfa/+XavHX/MsBH7HrgDD7S24KNx0NFXiBaSFB4Tkn9oFgvZMs3d3X1+cyJc7nUiDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:16:23.639872Z","signed_message":"canonical_sha256_bytes"},"source_id":"1708.04070","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bb125a85c4ded9cf271a8217b18b77c4a7eb02eece684ee96037083b466e50d6","sha256:d57c3a412e041a54bb397242e67dc5c344b95735f2637b24941d736dd3a71a00"],"state_sha256":"7274708cf94dfc92a42635b1f1c69a42eabe00b5fe1e4a54ae80dc31ed0bce19"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rOkiuyn4fAVMzUoaeV9K1747dj/B/vYTUTH369jWsrdExFeMvmA8+g2RN4OWWGop7vE/IA1p26kq3u+UbG+tBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T13:12:18.772904Z","bundle_sha256":"6915d7dc555625fbfc28ce6c43d22ae905ffccf5f3ac2166790a90b32cd6597f"}}