{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:5C5K5EA6VTF3YOU22OQV42RX6Q","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":"40883503a8d3f44dc00bcc0d296130110d66ff87064ce61fea14d71a718e5654","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-11-14T12:40:13Z","title_canon_sha256":"18e6b006ba6fdb54c71367f47cbbaf4ebe7316c9775c7b0151f29ff4dab699e1"},"schema_version":"1.0","source":{"id":"1811.05751","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.05751","created_at":"2026-05-18T00:00:42Z"},{"alias_kind":"arxiv_version","alias_value":"1811.05751v1","created_at":"2026-05-18T00:00:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.05751","created_at":"2026-05-18T00:00:42Z"},{"alias_kind":"pith_short_12","alias_value":"5C5K5EA6VTF3","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_16","alias_value":"5C5K5EA6VTF3YOU2","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_8","alias_value":"5C5K5EA6","created_at":"2026-05-18T12:32:08Z"}],"graph_snapshots":[{"event_id":"sha256:76a5738e3abefd8f380abf7ae3d589c0b17c38a38b37ef5706ffbd18ed9015f7","target":"graph","created_at":"2026-05-18T00:00:42Z","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 develop a modal logic to capture partial awareness. The logic has three building blocks: objects, properties, and concepts. Properties are unary predicates on objects; concepts are Boolean combinations of properties. We take an agent to be partially aware of a concept if she is aware of the concept without being aware of the properties that define it. The logic allows for quantification over objects and properties, so that the agent can reason about her own unawareness. We then apply the logic to contracts, which we view as syntactic objects that dictate outcomes based on the truth of formu","authors_text":"Evan Piermont, Joseph Y. Halpern","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-11-14T12:40:13Z","title":"Partial Awareness"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.05751","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:ac9f48eab1955f5273b6082584d7aebe8a2ff8237d4a32a55f9a202a9dd241a6","target":"record","created_at":"2026-05-18T00:00:42Z","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":"40883503a8d3f44dc00bcc0d296130110d66ff87064ce61fea14d71a718e5654","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-11-14T12:40:13Z","title_canon_sha256":"18e6b006ba6fdb54c71367f47cbbaf4ebe7316c9775c7b0151f29ff4dab699e1"},"schema_version":"1.0","source":{"id":"1811.05751","kind":"arxiv","version":1}},"canonical_sha256":"e8baae901eaccbbc3a9ad3a15e6a37f42114d4031693bd796861e7665ae77b66","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e8baae901eaccbbc3a9ad3a15e6a37f42114d4031693bd796861e7665ae77b66","first_computed_at":"2026-05-18T00:00:42.176692Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:00:42.176692Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3F+N787ycsQEtWhGt3xMoaRPgoIK9xCVD+IgfJtGdghBnlhgKV7w+6U8xgb8UHKpob97FklWUoH4oh9CdO+/Dg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:00:42.177079Z","signed_message":"canonical_sha256_bytes"},"source_id":"1811.05751","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ac9f48eab1955f5273b6082584d7aebe8a2ff8237d4a32a55f9a202a9dd241a6","sha256:76a5738e3abefd8f380abf7ae3d589c0b17c38a38b37ef5706ffbd18ed9015f7"],"state_sha256":"8542e8a847b7bf26dbeed2f4e62686f57016e56c5d13cf70bcbefd39bcf9467e"}