{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:U6GF2O7MJIUE4NE6UPG6M7RHY4","short_pith_number":"pith:U6GF2O7M","canonical_record":{"source":{"id":"1303.5393","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-03-13T12:51:38Z","cross_cats_sorted":[],"title_canon_sha256":"bb1d65b860d34dfe0dd608e6bda0ae366e5ad166f2cbc0d51f3ff5b803ed5f0f","abstract_canon_sha256":"4d436574af0c57cf23c5d20c4503dd0863adb5bdf4a44ce427f359c683634574"},"schema_version":"1.0"},"canonical_sha256":"a78c5d3bec4a284e349ea3cde67e27c707640eaf5f2a51653d2421b06b4ecc3d","source":{"kind":"arxiv","id":"1303.5393","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1303.5393","created_at":"2026-05-18T03:30:11Z"},{"alias_kind":"arxiv_version","alias_value":"1303.5393v1","created_at":"2026-05-18T03:30:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1303.5393","created_at":"2026-05-18T03:30:11Z"},{"alias_kind":"pith_short_12","alias_value":"U6GF2O7MJIUE","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_16","alias_value":"U6GF2O7MJIUE4NE6","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_8","alias_value":"U6GF2O7M","created_at":"2026-05-18T12:28:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:U6GF2O7MJIUE4NE6UPG6M7RHY4","target":"record","payload":{"canonical_record":{"source":{"id":"1303.5393","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-03-13T12:51:38Z","cross_cats_sorted":[],"title_canon_sha256":"bb1d65b860d34dfe0dd608e6bda0ae366e5ad166f2cbc0d51f3ff5b803ed5f0f","abstract_canon_sha256":"4d436574af0c57cf23c5d20c4503dd0863adb5bdf4a44ce427f359c683634574"},"schema_version":"1.0"},"canonical_sha256":"a78c5d3bec4a284e349ea3cde67e27c707640eaf5f2a51653d2421b06b4ecc3d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:30:11.937755Z","signature_b64":"uExjsoiJTG2krmD+7T86Y/Qq++ZonxGplb/0HVPLFVaujD5YjYx/BZ0sln8G9U0L4g6gv0auvAa7QrVVhX51DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a78c5d3bec4a284e349ea3cde67e27c707640eaf5f2a51653d2421b06b4ecc3d","last_reissued_at":"2026-05-18T03:30:11.937044Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:30:11.937044Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1303.5393","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:30:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XKh8hxoH2ythf+fxTRLmSLe/9r5uvSsQnhGMDhlM60OXDeE1Q32dtkGED2VZboE4Pdi0Kg983j6IxQHi39i8Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T11:01:45.128958Z"},"content_sha256":"41ddf314a3781204bf112fa4a242156fbe0dba39aa54482c4f85310444bcdd1b","schema_version":"1.0","event_id":"sha256:41ddf314a3781204bf112fa4a242156fbe0dba39aa54482c4f85310444bcdd1b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:U6GF2O7MJIUE4NE6UPG6M7RHY4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Modal Logics for Qualitative Possibility and Beliefs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Craig Boutilier","submitted_at":"2013-03-13T12:51:38Z","abstract_excerpt":"Possibilistic logic has been proposed as a numerical formalism for reasoning with uncertainty.  There has been interest in developing qualitative accounts of possibility, as well as an explanation of the relationship between possibility and modal logics.  We present two modal logics that can be used to represent and reason with qualitative statements of possibility and necessity.  Within this modal framework, we are able to identify interesting relationships between possibilistic logic, beliefs and conditionals.  In particular, the most natural conditional definable via possibilistic means for"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1303.5393","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:30:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"y+OIKNEUJEmSyiyt5GZaBkXJ5ZHVZb6Rjvhv8JshtEzmoxmnE56oCRnb1CRuNvaRON1t+E0IspE+GYAhuz5vBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T11:01:45.129731Z"},"content_sha256":"38bd0c26fe07e176195fa0628415a802a72d2a58e9244e3b985eadb623c60ac9","schema_version":"1.0","event_id":"sha256:38bd0c26fe07e176195fa0628415a802a72d2a58e9244e3b985eadb623c60ac9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/U6GF2O7MJIUE4NE6UPG6M7RHY4/bundle.json","state_url":"https://pith.science/pith/U6GF2O7MJIUE4NE6UPG6M7RHY4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/U6GF2O7MJIUE4NE6UPG6M7RHY4/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-10T11:01:45Z","links":{"resolver":"https://pith.science/pith/U6GF2O7MJIUE4NE6UPG6M7RHY4","bundle":"https://pith.science/pith/U6GF2O7MJIUE4NE6UPG6M7RHY4/bundle.json","state":"https://pith.science/pith/U6GF2O7MJIUE4NE6UPG6M7RHY4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/U6GF2O7MJIUE4NE6UPG6M7RHY4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:U6GF2O7MJIUE4NE6UPG6M7RHY4","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":"4d436574af0c57cf23c5d20c4503dd0863adb5bdf4a44ce427f359c683634574","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-03-13T12:51:38Z","title_canon_sha256":"bb1d65b860d34dfe0dd608e6bda0ae366e5ad166f2cbc0d51f3ff5b803ed5f0f"},"schema_version":"1.0","source":{"id":"1303.5393","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1303.5393","created_at":"2026-05-18T03:30:11Z"},{"alias_kind":"arxiv_version","alias_value":"1303.5393v1","created_at":"2026-05-18T03:30:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1303.5393","created_at":"2026-05-18T03:30:11Z"},{"alias_kind":"pith_short_12","alias_value":"U6GF2O7MJIUE","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_16","alias_value":"U6GF2O7MJIUE4NE6","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_8","alias_value":"U6GF2O7M","created_at":"2026-05-18T12:28:02Z"}],"graph_snapshots":[{"event_id":"sha256:38bd0c26fe07e176195fa0628415a802a72d2a58e9244e3b985eadb623c60ac9","target":"graph","created_at":"2026-05-18T03:30:11Z","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":"Possibilistic logic has been proposed as a numerical formalism for reasoning with uncertainty.  There has been interest in developing qualitative accounts of possibility, as well as an explanation of the relationship between possibility and modal logics.  We present two modal logics that can be used to represent and reason with qualitative statements of possibility and necessity.  Within this modal framework, we are able to identify interesting relationships between possibilistic logic, beliefs and conditionals.  In particular, the most natural conditional definable via possibilistic means for","authors_text":"Craig Boutilier","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-03-13T12:51:38Z","title":"Modal Logics for Qualitative Possibility and Beliefs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1303.5393","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:41ddf314a3781204bf112fa4a242156fbe0dba39aa54482c4f85310444bcdd1b","target":"record","created_at":"2026-05-18T03:30:11Z","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":"4d436574af0c57cf23c5d20c4503dd0863adb5bdf4a44ce427f359c683634574","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-03-13T12:51:38Z","title_canon_sha256":"bb1d65b860d34dfe0dd608e6bda0ae366e5ad166f2cbc0d51f3ff5b803ed5f0f"},"schema_version":"1.0","source":{"id":"1303.5393","kind":"arxiv","version":1}},"canonical_sha256":"a78c5d3bec4a284e349ea3cde67e27c707640eaf5f2a51653d2421b06b4ecc3d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a78c5d3bec4a284e349ea3cde67e27c707640eaf5f2a51653d2421b06b4ecc3d","first_computed_at":"2026-05-18T03:30:11.937044Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:30:11.937044Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"uExjsoiJTG2krmD+7T86Y/Qq++ZonxGplb/0HVPLFVaujD5YjYx/BZ0sln8G9U0L4g6gv0auvAa7QrVVhX51DA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:30:11.937755Z","signed_message":"canonical_sha256_bytes"},"source_id":"1303.5393","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:41ddf314a3781204bf112fa4a242156fbe0dba39aa54482c4f85310444bcdd1b","sha256:38bd0c26fe07e176195fa0628415a802a72d2a58e9244e3b985eadb623c60ac9"],"state_sha256":"5bc59617197b4a32ee6329ee422309aca1222d3ee2fd588ac1bce07309066c2d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cUQpOIwygts4htHIOxNfQUE03Ir1sO3/FsaDPDrmTDOZRCgeicPmkYCjN8mfpg5gTWW9Sm51S/cQ5B3tCuLuAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-10T11:01:45.133553Z","bundle_sha256":"457bf4fd397d2f83724701145cba0466f879f05203944de5c4caf59b5998d08c"}}