{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:WB33CR2DUG46DCUM6NXIFS5XZ2","short_pith_number":"pith:WB33CR2D","schema_version":"1.0","canonical_sha256":"b077b14743a1b9e18a8cf36e82cbb7ceaff2c8462982ac60fbedc82d9825f369","source":{"kind":"arxiv","id":"1508.03630","version":1},"attestation_state":"computed","paper":{"title":"Undecidability of a Very Simple Modal Logic with Binding","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Guillaume Hoffmann","submitted_at":"2015-08-14T20:00:51Z","abstract_excerpt":"We show undecidability of the satisfiability problem of what is arguably the simplest non-sub-Boolean modal logic with an implicit notion of binding. This work enriches the series of existing results of undecidability of modal logics with binders, which started with Hybrid Logics and continued with Memory Logics."},"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":"1508.03630","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2015-08-14T20:00:51Z","cross_cats_sorted":[],"title_canon_sha256":"00efc37ab329bb7450dd9c19e6043c9f1ab7d3f0b8e04ea4524931b3515397e4","abstract_canon_sha256":"6b0702abbe74de5d23e2378f80372dc57fff4e9b08a4e591b1d51b47a99d0637"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:35:15.558247Z","signature_b64":"OkBwwcCGt7wJ+tA7B6mc6QvpA6QH2T8v2jikiKQS7/OlBalxxf58NUf+C39b523fgT+tMpPNvfAdtvaZIlI1Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b077b14743a1b9e18a8cf36e82cbb7ceaff2c8462982ac60fbedc82d9825f369","last_reissued_at":"2026-05-18T01:35:15.557647Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:35:15.557647Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Undecidability of a Very Simple Modal Logic with Binding","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Guillaume Hoffmann","submitted_at":"2015-08-14T20:00:51Z","abstract_excerpt":"We show undecidability of the satisfiability problem of what is arguably the simplest non-sub-Boolean modal logic with an implicit notion of binding. This work enriches the series of existing results of undecidability of modal logics with binders, which started with Hybrid Logics and continued with Memory Logics."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1508.03630","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1508.03630","created_at":"2026-05-18T01:35:15.557756+00:00"},{"alias_kind":"arxiv_version","alias_value":"1508.03630v1","created_at":"2026-05-18T01:35:15.557756+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.03630","created_at":"2026-05-18T01:35:15.557756+00:00"},{"alias_kind":"pith_short_12","alias_value":"WB33CR2DUG46","created_at":"2026-05-18T12:29:47.479230+00:00"},{"alias_kind":"pith_short_16","alias_value":"WB33CR2DUG46DCUM","created_at":"2026-05-18T12:29:47.479230+00:00"},{"alias_kind":"pith_short_8","alias_value":"WB33CR2D","created_at":"2026-05-18T12:29:47.479230+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/WB33CR2DUG46DCUM6NXIFS5XZ2","json":"https://pith.science/pith/WB33CR2DUG46DCUM6NXIFS5XZ2.json","graph_json":"https://pith.science/api/pith-number/WB33CR2DUG46DCUM6NXIFS5XZ2/graph.json","events_json":"https://pith.science/api/pith-number/WB33CR2DUG46DCUM6NXIFS5XZ2/events.json","paper":"https://pith.science/paper/WB33CR2D"},"agent_actions":{"view_html":"https://pith.science/pith/WB33CR2DUG46DCUM6NXIFS5XZ2","download_json":"https://pith.science/pith/WB33CR2DUG46DCUM6NXIFS5XZ2.json","view_paper":"https://pith.science/paper/WB33CR2D","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1508.03630&json=true","fetch_graph":"https://pith.science/api/pith-number/WB33CR2DUG46DCUM6NXIFS5XZ2/graph.json","fetch_events":"https://pith.science/api/pith-number/WB33CR2DUG46DCUM6NXIFS5XZ2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/WB33CR2DUG46DCUM6NXIFS5XZ2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/WB33CR2DUG46DCUM6NXIFS5XZ2/action/storage_attestation","attest_author":"https://pith.science/pith/WB33CR2DUG46DCUM6NXIFS5XZ2/action/author_attestation","sign_citation":"https://pith.science/pith/WB33CR2DUG46DCUM6NXIFS5XZ2/action/citation_signature","submit_replication":"https://pith.science/pith/WB33CR2DUG46DCUM6NXIFS5XZ2/action/replication_record"}},"created_at":"2026-05-18T01:35:15.557756+00:00","updated_at":"2026-05-18T01:35:15.557756+00:00"}