{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:3C2RSUD56GIJTKVY223E47KUIA","short_pith_number":"pith:3C2RSUD5","canonical_record":{"source":{"id":"2501.00495","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2024-12-31T15:14:13Z","cross_cats_sorted":[],"title_canon_sha256":"e718541bc9578bac207b32d26292f08b2a76b2293faab044bef0d04bb59d6e5c","abstract_canon_sha256":"3afbae37cf6f00921ae63d6266ed29a05a5b547bfa5c829b5cb9fc98209c3718"},"schema_version":"1.0"},"canonical_sha256":"d8b519507df19099aab8d6b64e7d544004ee4f27c28ba227314a8c3c3ef2371b","source":{"kind":"arxiv","id":"2501.00495","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2501.00495","created_at":"2026-07-05T09:56:06Z"},{"alias_kind":"arxiv_version","alias_value":"2501.00495v1","created_at":"2026-07-05T09:56:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.00495","created_at":"2026-07-05T09:56:06Z"},{"alias_kind":"pith_short_12","alias_value":"3C2RSUD56GIJ","created_at":"2026-07-05T09:56:06Z"},{"alias_kind":"pith_short_16","alias_value":"3C2RSUD56GIJTKVY","created_at":"2026-07-05T09:56:06Z"},{"alias_kind":"pith_short_8","alias_value":"3C2RSUD5","created_at":"2026-07-05T09:56:06Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:3C2RSUD56GIJTKVY223E47KUIA","target":"record","payload":{"canonical_record":{"source":{"id":"2501.00495","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2024-12-31T15:14:13Z","cross_cats_sorted":[],"title_canon_sha256":"e718541bc9578bac207b32d26292f08b2a76b2293faab044bef0d04bb59d6e5c","abstract_canon_sha256":"3afbae37cf6f00921ae63d6266ed29a05a5b547bfa5c829b5cb9fc98209c3718"},"schema_version":"1.0"},"canonical_sha256":"d8b519507df19099aab8d6b64e7d544004ee4f27c28ba227314a8c3c3ef2371b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:56:06.600982Z","signature_b64":"IzIn9/cwCJG2uMCCzPW3SeBfgUEJ93RjoWqO/ktEUZcLaOkF+9IBZTvvdm7X449HenS1kWav9zL9shmCNMuCCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d8b519507df19099aab8d6b64e7d544004ee4f27c28ba227314a8c3c3ef2371b","last_reissued_at":"2026-07-05T09:56:06.600510Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:56:06.600510Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2501.00495","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-07-05T09:56:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0o93Gzv0nXHueVbRshQtJ387VqnhH30juqdQwu8QDOfayOeD6P9sV7g1uikYy562FrmRkHz+M0zuzeXlax1YAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T06:16:35.628780Z"},"content_sha256":"973df4351dc81aacf5b3b63e6bad5c14d2b7543a3d040773f7161b6f348b6b14","schema_version":"1.0","event_id":"sha256:973df4351dc81aacf5b3b63e6bad5c14d2b7543a3d040773f7161b6f348b6b14"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:3C2RSUD56GIJTKVY223E47KUIA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Kamide is in America, Moisil and Leitgeb are in Australia","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Bochum, Germany), Hitoshi Omori (Graduate School of Information Sciences, Japan), Ruhr University Bochum, Satoru Niki (Department of Philosophy I, Sendai, Tohoku University","submitted_at":"2024-12-31T15:14:13Z","abstract_excerpt":"It is not uncommon for a logic to be invented multiple times, hinting at its robustness. This trend is followed also by the expansion BD+ of Belnap-Dunn logic by Boolean negation. Ending up in the same logic, however, does not mean that the semantic interpretations are always the same as well. In particular, different interpretations can bring us to different logics, once the basic setting is moved from a classical one to an intuitionistic one. For BD+, two such paths seem to have been taken; one (BDi) by N. Kamide along the so-called American plan, and another (HYPE) by G. Moisil and H. Leitg"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.00495","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2501.00495/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T09:56:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2jgs5uba+PyefvZBuLh1O5PkGhfpb/GbNNSfna135NNchOiegASa6/Ve10C+aWU8eN2SSCaGuOsBsUZmyc93AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T06:16:35.629717Z"},"content_sha256":"d9042516378a67165a2b83b161192e4edcff742eefc1e2b80b9a4b6d96f380d0","schema_version":"1.0","event_id":"sha256:d9042516378a67165a2b83b161192e4edcff742eefc1e2b80b9a4b6d96f380d0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3C2RSUD56GIJTKVY223E47KUIA/bundle.json","state_url":"https://pith.science/pith/3C2RSUD56GIJTKVY223E47KUIA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3C2RSUD56GIJTKVY223E47KUIA/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-08-11T06:16:35Z","links":{"resolver":"https://pith.science/pith/3C2RSUD56GIJTKVY223E47KUIA","bundle":"https://pith.science/pith/3C2RSUD56GIJTKVY223E47KUIA/bundle.json","state":"https://pith.science/pith/3C2RSUD56GIJTKVY223E47KUIA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3C2RSUD56GIJTKVY223E47KUIA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:3C2RSUD56GIJTKVY223E47KUIA","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":"3afbae37cf6f00921ae63d6266ed29a05a5b547bfa5c829b5cb9fc98209c3718","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2024-12-31T15:14:13Z","title_canon_sha256":"e718541bc9578bac207b32d26292f08b2a76b2293faab044bef0d04bb59d6e5c"},"schema_version":"1.0","source":{"id":"2501.00495","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2501.00495","created_at":"2026-07-05T09:56:06Z"},{"alias_kind":"arxiv_version","alias_value":"2501.00495v1","created_at":"2026-07-05T09:56:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.00495","created_at":"2026-07-05T09:56:06Z"},{"alias_kind":"pith_short_12","alias_value":"3C2RSUD56GIJ","created_at":"2026-07-05T09:56:06Z"},{"alias_kind":"pith_short_16","alias_value":"3C2RSUD56GIJTKVY","created_at":"2026-07-05T09:56:06Z"},{"alias_kind":"pith_short_8","alias_value":"3C2RSUD5","created_at":"2026-07-05T09:56:06Z"}],"graph_snapshots":[{"event_id":"sha256:d9042516378a67165a2b83b161192e4edcff742eefc1e2b80b9a4b6d96f380d0","target":"graph","created_at":"2026-07-05T09:56:06Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2501.00495/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"It is not uncommon for a logic to be invented multiple times, hinting at its robustness. This trend is followed also by the expansion BD+ of Belnap-Dunn logic by Boolean negation. Ending up in the same logic, however, does not mean that the semantic interpretations are always the same as well. In particular, different interpretations can bring us to different logics, once the basic setting is moved from a classical one to an intuitionistic one. For BD+, two such paths seem to have been taken; one (BDi) by N. Kamide along the so-called American plan, and another (HYPE) by G. Moisil and H. Leitg","authors_text":"Bochum, Germany), Hitoshi Omori (Graduate School of Information Sciences, Japan), Ruhr University Bochum, Satoru Niki (Department of Philosophy I, Sendai, Tohoku University","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2024-12-31T15:14:13Z","title":"Kamide is in America, Moisil and Leitgeb are in Australia"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.00495","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:973df4351dc81aacf5b3b63e6bad5c14d2b7543a3d040773f7161b6f348b6b14","target":"record","created_at":"2026-07-05T09:56:06Z","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":"3afbae37cf6f00921ae63d6266ed29a05a5b547bfa5c829b5cb9fc98209c3718","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2024-12-31T15:14:13Z","title_canon_sha256":"e718541bc9578bac207b32d26292f08b2a76b2293faab044bef0d04bb59d6e5c"},"schema_version":"1.0","source":{"id":"2501.00495","kind":"arxiv","version":1}},"canonical_sha256":"d8b519507df19099aab8d6b64e7d544004ee4f27c28ba227314a8c3c3ef2371b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d8b519507df19099aab8d6b64e7d544004ee4f27c28ba227314a8c3c3ef2371b","first_computed_at":"2026-07-05T09:56:06.600510Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:56:06.600510Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IzIn9/cwCJG2uMCCzPW3SeBfgUEJ93RjoWqO/ktEUZcLaOkF+9IBZTvvdm7X449HenS1kWav9zL9shmCNMuCCg==","signature_status":"signed_v1","signed_at":"2026-07-05T09:56:06.600982Z","signed_message":"canonical_sha256_bytes"},"source_id":"2501.00495","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:973df4351dc81aacf5b3b63e6bad5c14d2b7543a3d040773f7161b6f348b6b14","sha256:d9042516378a67165a2b83b161192e4edcff742eefc1e2b80b9a4b6d96f380d0"],"state_sha256":"d754cccd345b7ec606a7b3281e990912761bb6e4b248713d1af065efc0749e1e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kN+Hj4qNcNoDJpmJ1b00bO/yXLEpR1VD9pbQvLSnSF04oGpibw2agrGX7XEVPiwTnSOLKwMa6kzhMe8Tw7HsBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-11T06:16:35.634495Z","bundle_sha256":"5c57bed5dad7cacc63e2049447dd7df393123e36032b2b25d4cd227a68543f8f"}}