{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:AQMMZ5UUPJS4TNDMLORLSEEQYR","short_pith_number":"pith:AQMMZ5UU","canonical_record":{"source":{"id":"2511.04577","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2025-11-06T17:32:47Z","cross_cats_sorted":[],"title_canon_sha256":"bef4a84a8f8412ceaf4a43a973d95635a2eefc8fefb87c8756f41e14003eeb5c","abstract_canon_sha256":"e36bd9eb5de40f632f7a152bcb2ca78d079333613a7c9120b4a6c9101678610a"},"schema_version":"1.0"},"canonical_sha256":"0418ccf6947a65c9b46c5ba2b91090c46809cc4284bc7c73ba5c0bb4c637abd3","source":{"kind":"arxiv","id":"2511.04577","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2511.04577","created_at":"2026-05-17T23:39:04Z"},{"alias_kind":"arxiv_version","alias_value":"2511.04577v2","created_at":"2026-05-17T23:39:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2511.04577","created_at":"2026-05-17T23:39:04Z"},{"alias_kind":"pith_short_12","alias_value":"AQMMZ5UUPJS4","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"AQMMZ5UUPJS4TNDM","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"AQMMZ5UU","created_at":"2026-05-18T12:33:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:AQMMZ5UUPJS4TNDMLORLSEEQYR","target":"record","payload":{"canonical_record":{"source":{"id":"2511.04577","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2025-11-06T17:32:47Z","cross_cats_sorted":[],"title_canon_sha256":"bef4a84a8f8412ceaf4a43a973d95635a2eefc8fefb87c8756f41e14003eeb5c","abstract_canon_sha256":"e36bd9eb5de40f632f7a152bcb2ca78d079333613a7c9120b4a6c9101678610a"},"schema_version":"1.0"},"canonical_sha256":"0418ccf6947a65c9b46c5ba2b91090c46809cc4284bc7c73ba5c0bb4c637abd3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:39:04.655687Z","signature_b64":"KBj2tu1w+TXMNzpRaqvhp96/vjdJ8dVJIeR0mZQtbhmXm+hVrD78NRe3opFcJ9+F8VpYHGUHcPKsMIQOdcN2CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0418ccf6947a65c9b46c5ba2b91090c46809cc4284bc7c73ba5c0bb4c637abd3","last_reissued_at":"2026-05-17T23:39:04.654949Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:39:04.654949Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2511.04577","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-17T23:39:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aQs1yCBdAtnpWQxTr1fcYZRkA+JuNGnNJbGtQSXRDL2BP7CWTMJa2apSTTB0XZ058ChdAJpZZAz3ai9eho/ZAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T05:30:19.540951Z"},"content_sha256":"b03a9a3301a7a073558e361b05d8d7e743cff1ae759350e31a7df717d8cdac99","schema_version":"1.0","event_id":"sha256:b03a9a3301a7a073558e361b05d8d7e743cff1ae759350e31a7df717d8cdac99"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:AQMMZ5UUPJS4TNDMLORLSEEQYR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Size of Interpolants in Modal Logics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Balder ten Cate, Frank Wolter, Louwe Kuijer","submitted_at":"2025-11-06T17:32:47Z","abstract_excerpt":"We start a systematic investigation of the size of Craig interpolants, uniform interpolants, and strongest implicates for (quasi-)normal modal logics. Our main upper bound states that for tabular modal logics, the computation of strongest implicates can be reduced in polynomial time to uniform interpolant computation in classical propositional logic. Hence they are of polynomial dag-size iff NP is included in P/poly. The reduction also holds for Craig interpolants and uniform interpolants if the tabular modal logic has the Craig interpolation property. Our main lower bound shows an uncondition"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2511.04577","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-17T23:39:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"z4oDhduU0snclU9QBl2SkpyzRA2J6FsSkR8t7B2xgBJSwP13JBF6eZEhDCJ7YfX+tzGE8ux7FfstZrq1APe3Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T05:30:19.541399Z"},"content_sha256":"595d0331ae9fcd3ddcd6ea0ead19efd212899217db8d04ecbc6945b46dca1297","schema_version":"1.0","event_id":"sha256:595d0331ae9fcd3ddcd6ea0ead19efd212899217db8d04ecbc6945b46dca1297"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AQMMZ5UUPJS4TNDMLORLSEEQYR/bundle.json","state_url":"https://pith.science/pith/AQMMZ5UUPJS4TNDMLORLSEEQYR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AQMMZ5UUPJS4TNDMLORLSEEQYR/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-26T05:30:19Z","links":{"resolver":"https://pith.science/pith/AQMMZ5UUPJS4TNDMLORLSEEQYR","bundle":"https://pith.science/pith/AQMMZ5UUPJS4TNDMLORLSEEQYR/bundle.json","state":"https://pith.science/pith/AQMMZ5UUPJS4TNDMLORLSEEQYR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AQMMZ5UUPJS4TNDMLORLSEEQYR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:AQMMZ5UUPJS4TNDMLORLSEEQYR","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":"e36bd9eb5de40f632f7a152bcb2ca78d079333613a7c9120b4a6c9101678610a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2025-11-06T17:32:47Z","title_canon_sha256":"bef4a84a8f8412ceaf4a43a973d95635a2eefc8fefb87c8756f41e14003eeb5c"},"schema_version":"1.0","source":{"id":"2511.04577","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2511.04577","created_at":"2026-05-17T23:39:04Z"},{"alias_kind":"arxiv_version","alias_value":"2511.04577v2","created_at":"2026-05-17T23:39:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2511.04577","created_at":"2026-05-17T23:39:04Z"},{"alias_kind":"pith_short_12","alias_value":"AQMMZ5UUPJS4","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"AQMMZ5UUPJS4TNDM","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"AQMMZ5UU","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:595d0331ae9fcd3ddcd6ea0ead19efd212899217db8d04ecbc6945b46dca1297","target":"graph","created_at":"2026-05-17T23:39:04Z","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 start a systematic investigation of the size of Craig interpolants, uniform interpolants, and strongest implicates for (quasi-)normal modal logics. Our main upper bound states that for tabular modal logics, the computation of strongest implicates can be reduced in polynomial time to uniform interpolant computation in classical propositional logic. Hence they are of polynomial dag-size iff NP is included in P/poly. The reduction also holds for Craig interpolants and uniform interpolants if the tabular modal logic has the Craig interpolation property. Our main lower bound shows an uncondition","authors_text":"Balder ten Cate, Frank Wolter, Louwe Kuijer","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2025-11-06T17:32:47Z","title":"The Size of Interpolants in Modal Logics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2511.04577","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:b03a9a3301a7a073558e361b05d8d7e743cff1ae759350e31a7df717d8cdac99","target":"record","created_at":"2026-05-17T23:39:04Z","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":"e36bd9eb5de40f632f7a152bcb2ca78d079333613a7c9120b4a6c9101678610a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2025-11-06T17:32:47Z","title_canon_sha256":"bef4a84a8f8412ceaf4a43a973d95635a2eefc8fefb87c8756f41e14003eeb5c"},"schema_version":"1.0","source":{"id":"2511.04577","kind":"arxiv","version":2}},"canonical_sha256":"0418ccf6947a65c9b46c5ba2b91090c46809cc4284bc7c73ba5c0bb4c637abd3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0418ccf6947a65c9b46c5ba2b91090c46809cc4284bc7c73ba5c0bb4c637abd3","first_computed_at":"2026-05-17T23:39:04.654949Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:39:04.654949Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KBj2tu1w+TXMNzpRaqvhp96/vjdJ8dVJIeR0mZQtbhmXm+hVrD78NRe3opFcJ9+F8VpYHGUHcPKsMIQOdcN2CA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:39:04.655687Z","signed_message":"canonical_sha256_bytes"},"source_id":"2511.04577","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b03a9a3301a7a073558e361b05d8d7e743cff1ae759350e31a7df717d8cdac99","sha256:595d0331ae9fcd3ddcd6ea0ead19efd212899217db8d04ecbc6945b46dca1297"],"state_sha256":"a8b917e1514e6cceda78fa028210a6d10dc2de6dd768daabfd26cd685f23d1a0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qN1uE63inbh5xErSxE88XDJG9HbgunGU87U9WwEgA62ZsutzHQ3QZVQ6FjWJu8BYJGRS5okd2/CmjxfAZeb2CQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T05:30:19.544080Z","bundle_sha256":"3c86e16da3d9fe7d69e413a86c4e7b80bf74958a030ccae0801d8e7f3723bcd7"}}