{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:3MLYHHBSOGCQBKYGKSZX5GUIBF","short_pith_number":"pith:3MLYHHBS","schema_version":"1.0","canonical_sha256":"db17839c32718500ab0654b37e9a88095204c82aa4e89580747e7fe2910eb2e9","source":{"kind":"arxiv","id":"2602.15821","version":2},"attestation_state":"computed","paper":{"title":"Computation and Size of Interpolants for Hybrid Modal Logics","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Frank Wolter, Jean Christoph Jung, J\\k{e}drzej Ko{\\l}odziejski","submitted_at":"2026-02-17T18:56:36Z","abstract_excerpt":"Recent research has established complexity results for the problem of deciding the existence of interpolants in logics lacking the Craig Interpolation Property (CIP). The proof techniques developed so far are non-constructive, and no meaningful bounds on the size of interpolants are known. Hybrid modal logics (or modal logics with nominals) are a particularly interesting class of logics without CIP: in their case, CIP cannot be restored without sacrificing decidability and, in applications, interpolants in these logics can serve as definite descriptions and separators between positive and nega"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2602.15821","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-02-17T18:56:36Z","cross_cats_sorted":[],"title_canon_sha256":"7307ee8841892457fbf979c05bda3a4154eca380817f34bff647cbab63d63d58","abstract_canon_sha256":"5094e810f20aeab41d502921afeb7a46e05a6a9a4585d49d5cb9c5289ae4329c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T01:05:09.474462Z","signature_b64":"CJCQi5zIoWjPzk9bTAJskeU0S/MkapDDafiStGiLsIz1Ss/lEwtm+qmUYbneiEs8tiFtw0yI8rIfY69iUTGjDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"db17839c32718500ab0654b37e9a88095204c82aa4e89580747e7fe2910eb2e9","last_reissued_at":"2026-05-20T01:05:09.473707Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T01:05:09.473707Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Computation and Size of Interpolants for Hybrid Modal Logics","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Frank Wolter, Jean Christoph Jung, J\\k{e}drzej Ko{\\l}odziejski","submitted_at":"2026-02-17T18:56:36Z","abstract_excerpt":"Recent research has established complexity results for the problem of deciding the existence of interpolants in logics lacking the Craig Interpolation Property (CIP). The proof techniques developed so far are non-constructive, and no meaningful bounds on the size of interpolants are known. Hybrid modal logics (or modal logics with nominals) are a particularly interesting class of logics without CIP: in their case, CIP cannot be restored without sacrificing decidability and, in applications, interpolants in these logics can serve as definite descriptions and separators between positive and nega"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2602.15821","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2602.15821/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2602.15821","created_at":"2026-05-20T01:05:09.473815+00:00"},{"alias_kind":"arxiv_version","alias_value":"2602.15821v2","created_at":"2026-05-20T01:05:09.473815+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2602.15821","created_at":"2026-05-20T01:05:09.473815+00:00"},{"alias_kind":"pith_short_12","alias_value":"3MLYHHBSOGCQ","created_at":"2026-05-20T01:05:09.473815+00:00"},{"alias_kind":"pith_short_16","alias_value":"3MLYHHBSOGCQBKYG","created_at":"2026-05-20T01:05:09.473815+00:00"},{"alias_kind":"pith_short_8","alias_value":"3MLYHHBS","created_at":"2026-05-20T01:05:09.473815+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/3MLYHHBSOGCQBKYGKSZX5GUIBF","json":"https://pith.science/pith/3MLYHHBSOGCQBKYGKSZX5GUIBF.json","graph_json":"https://pith.science/api/pith-number/3MLYHHBSOGCQBKYGKSZX5GUIBF/graph.json","events_json":"https://pith.science/api/pith-number/3MLYHHBSOGCQBKYGKSZX5GUIBF/events.json","paper":"https://pith.science/paper/3MLYHHBS"},"agent_actions":{"view_html":"https://pith.science/pith/3MLYHHBSOGCQBKYGKSZX5GUIBF","download_json":"https://pith.science/pith/3MLYHHBSOGCQBKYGKSZX5GUIBF.json","view_paper":"https://pith.science/paper/3MLYHHBS","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2602.15821&json=true","fetch_graph":"https://pith.science/api/pith-number/3MLYHHBSOGCQBKYGKSZX5GUIBF/graph.json","fetch_events":"https://pith.science/api/pith-number/3MLYHHBSOGCQBKYGKSZX5GUIBF/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/3MLYHHBSOGCQBKYGKSZX5GUIBF/action/timestamp_anchor","attest_storage":"https://pith.science/pith/3MLYHHBSOGCQBKYGKSZX5GUIBF/action/storage_attestation","attest_author":"https://pith.science/pith/3MLYHHBSOGCQBKYGKSZX5GUIBF/action/author_attestation","sign_citation":"https://pith.science/pith/3MLYHHBSOGCQBKYGKSZX5GUIBF/action/citation_signature","submit_replication":"https://pith.science/pith/3MLYHHBSOGCQBKYGKSZX5GUIBF/action/replication_record"}},"created_at":"2026-05-20T01:05:09.473815+00:00","updated_at":"2026-05-20T01:05:09.473815+00:00"}