{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:JDU4PQPEKLVLAMPOZ7F3F4NFQT","short_pith_number":"pith:JDU4PQPE","canonical_record":{"source":{"id":"1506.07990","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-06-26T08:17:32Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"a179729e6170afa4d9a73b18201a5565a3c359225a301c59c7d05ea9c868ff62","abstract_canon_sha256":"165621b232cabd4eacfc8ee7ca13e14b6e57c993fa57161307aff1f27e7d21cd"},"schema_version":"1.0"},"canonical_sha256":"48e9c7c1e452eab031eecfcbb2f1a584d937cb2cadfbe24a362de82a30f48909","source":{"kind":"arxiv","id":"1506.07990","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.07990","created_at":"2026-05-18T00:24:32Z"},{"alias_kind":"arxiv_version","alias_value":"1506.07990v2","created_at":"2026-05-18T00:24:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.07990","created_at":"2026-05-18T00:24:32Z"},{"alias_kind":"pith_short_12","alias_value":"JDU4PQPEKLVL","created_at":"2026-05-18T12:29:27Z"},{"alias_kind":"pith_short_16","alias_value":"JDU4PQPEKLVLAMPO","created_at":"2026-05-18T12:29:27Z"},{"alias_kind":"pith_short_8","alias_value":"JDU4PQPE","created_at":"2026-05-18T12:29:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:JDU4PQPEKLVLAMPOZ7F3F4NFQT","target":"record","payload":{"canonical_record":{"source":{"id":"1506.07990","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-06-26T08:17:32Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"a179729e6170afa4d9a73b18201a5565a3c359225a301c59c7d05ea9c868ff62","abstract_canon_sha256":"165621b232cabd4eacfc8ee7ca13e14b6e57c993fa57161307aff1f27e7d21cd"},"schema_version":"1.0"},"canonical_sha256":"48e9c7c1e452eab031eecfcbb2f1a584d937cb2cadfbe24a362de82a30f48909","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:24:32.035289Z","signature_b64":"b2Uatfl2CIQaysPoMHLOpDeANkl7NAAKyQ3pEHDtP5qJXVDNPJHcZPFM+7KK75OVhDIsth2lwB6HzXgHQam2BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"48e9c7c1e452eab031eecfcbb2f1a584d937cb2cadfbe24a362de82a30f48909","last_reissued_at":"2026-05-18T00:24:32.034623Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:24:32.034623Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1506.07990","source_version":2,"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:24:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WQoGRqaAx2FfM5S9+oS10X3UZN1MO/nDQm+HC/Ck75PcHgx4MRgVlOcQDzlRrMFmGmRbYPMrhCE82ZEwrnWjCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T21:44:13.182782Z"},"content_sha256":"3f5b803ae39e72a1a6e83968d046a1eb832499fa6bcf7b7832ca8ed103f576b9","schema_version":"1.0","event_id":"sha256:3f5b803ae39e72a1a6e83968d046a1eb832499fa6bcf7b7832ca8ed103f576b9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:JDU4PQPEKLVLAMPOZ7F3F4NFQT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Hans van Ditmarsch, Martin Holm Jensen, Mikkel Birkegaard Andersen, Thomas Bolander","submitted_at":"2015-06-26T08:17:32Z","abstract_excerpt":"Plausibility models are Kripke models that agents use to reason about knowledge and belief, both of themselves and of each other. Such models are used to interpret the notions of conditional belief, degrees of belief, and safe belief. The logic of conditional belief contains that modality and also the knowledge modality, and similarly for the logic of degrees of belief and the logic of safe belief. With respect to these logics, plausibility models may contain too much information. A proper notion of bisimulation is required that characterises them. We define that notion of bisimulation and pro"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.07990","kind":"arxiv","version":2},"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:24:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"p9IDX+PYRKkLtKQoEs/essy9TzXZHHV4v/TH08YSLSChMqrY7j/9HYdFhHzHoTTnDxK9qv5qVjVmfmm5z6YhBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T21:44:13.183415Z"},"content_sha256":"29c7c088c32bb67b15e90074ca54f0a26ee2fc75479844444015349f923c1cd7","schema_version":"1.0","event_id":"sha256:29c7c088c32bb67b15e90074ca54f0a26ee2fc75479844444015349f923c1cd7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JDU4PQPEKLVLAMPOZ7F3F4NFQT/bundle.json","state_url":"https://pith.science/pith/JDU4PQPEKLVLAMPOZ7F3F4NFQT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JDU4PQPEKLVLAMPOZ7F3F4NFQT/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-04T21:44:13Z","links":{"resolver":"https://pith.science/pith/JDU4PQPEKLVLAMPOZ7F3F4NFQT","bundle":"https://pith.science/pith/JDU4PQPEKLVLAMPOZ7F3F4NFQT/bundle.json","state":"https://pith.science/pith/JDU4PQPEKLVLAMPOZ7F3F4NFQT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JDU4PQPEKLVLAMPOZ7F3F4NFQT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:JDU4PQPEKLVLAMPOZ7F3F4NFQT","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":"165621b232cabd4eacfc8ee7ca13e14b6e57c993fa57161307aff1f27e7d21cd","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-06-26T08:17:32Z","title_canon_sha256":"a179729e6170afa4d9a73b18201a5565a3c359225a301c59c7d05ea9c868ff62"},"schema_version":"1.0","source":{"id":"1506.07990","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.07990","created_at":"2026-05-18T00:24:32Z"},{"alias_kind":"arxiv_version","alias_value":"1506.07990v2","created_at":"2026-05-18T00:24:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.07990","created_at":"2026-05-18T00:24:32Z"},{"alias_kind":"pith_short_12","alias_value":"JDU4PQPEKLVL","created_at":"2026-05-18T12:29:27Z"},{"alias_kind":"pith_short_16","alias_value":"JDU4PQPEKLVLAMPO","created_at":"2026-05-18T12:29:27Z"},{"alias_kind":"pith_short_8","alias_value":"JDU4PQPE","created_at":"2026-05-18T12:29:27Z"}],"graph_snapshots":[{"event_id":"sha256:29c7c088c32bb67b15e90074ca54f0a26ee2fc75479844444015349f923c1cd7","target":"graph","created_at":"2026-05-18T00:24:32Z","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":"Plausibility models are Kripke models that agents use to reason about knowledge and belief, both of themselves and of each other. Such models are used to interpret the notions of conditional belief, degrees of belief, and safe belief. The logic of conditional belief contains that modality and also the knowledge modality, and similarly for the logic of degrees of belief and the logic of safe belief. With respect to these logics, plausibility models may contain too much information. A proper notion of bisimulation is required that characterises them. We define that notion of bisimulation and pro","authors_text":"Hans van Ditmarsch, Martin Holm Jensen, Mikkel Birkegaard Andersen, Thomas Bolander","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-06-26T08:17:32Z","title":"Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.07990","kind":"arxiv","version":2},"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:3f5b803ae39e72a1a6e83968d046a1eb832499fa6bcf7b7832ca8ed103f576b9","target":"record","created_at":"2026-05-18T00:24:32Z","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":"165621b232cabd4eacfc8ee7ca13e14b6e57c993fa57161307aff1f27e7d21cd","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-06-26T08:17:32Z","title_canon_sha256":"a179729e6170afa4d9a73b18201a5565a3c359225a301c59c7d05ea9c868ff62"},"schema_version":"1.0","source":{"id":"1506.07990","kind":"arxiv","version":2}},"canonical_sha256":"48e9c7c1e452eab031eecfcbb2f1a584d937cb2cadfbe24a362de82a30f48909","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"48e9c7c1e452eab031eecfcbb2f1a584d937cb2cadfbe24a362de82a30f48909","first_computed_at":"2026-05-18T00:24:32.034623Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:24:32.034623Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"b2Uatfl2CIQaysPoMHLOpDeANkl7NAAKyQ3pEHDtP5qJXVDNPJHcZPFM+7KK75OVhDIsth2lwB6HzXgHQam2BA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:24:32.035289Z","signed_message":"canonical_sha256_bytes"},"source_id":"1506.07990","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3f5b803ae39e72a1a6e83968d046a1eb832499fa6bcf7b7832ca8ed103f576b9","sha256:29c7c088c32bb67b15e90074ca54f0a26ee2fc75479844444015349f923c1cd7"],"state_sha256":"cfc856d3491f8f4931ac2a4f08c0565692ad4388e177a8168b5eb5eab8098845"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KijN4KXbbSdplRVmp481kAtyXOWs880fauECQO5L6LiC1VbWKJ9OKOdPrmUrrwrRcafp8gmrRTD6zE+7OeoqDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T21:44:13.186234Z","bundle_sha256":"927fe8343f7dab8e6df3d814e6e4d3a2b6055ec12c3e8a792c6ba6ed1846da74"}}