{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:DCXO4UVWEZA5KZFPMURFU4J4UR","short_pith_number":"pith:DCXO4UVW","canonical_record":{"source":{"id":"2509.08165","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2025-09-09T22:00:28Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"5ee624b38da9ea9843b63bc2f7e4b52986cff884888ec898ce37863d372cc04f","abstract_canon_sha256":"d8444d1dce07675bb3f432e711502ccf2bda18bf6c5809cb975c777c2ccbf0f4"},"schema_version":"1.0"},"canonical_sha256":"18aeee52b62641d564af65225a713ca47c6bd0b2c468fd5bdb89daa469257012","source":{"kind":"arxiv","id":"2509.08165","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.08165","created_at":"2026-07-05T12:08:24Z"},{"alias_kind":"arxiv_version","alias_value":"2509.08165v1","created_at":"2026-07-05T12:08:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.08165","created_at":"2026-07-05T12:08:24Z"},{"alias_kind":"pith_short_12","alias_value":"DCXO4UVWEZA5","created_at":"2026-07-05T12:08:24Z"},{"alias_kind":"pith_short_16","alias_value":"DCXO4UVWEZA5KZFP","created_at":"2026-07-05T12:08:24Z"},{"alias_kind":"pith_short_8","alias_value":"DCXO4UVW","created_at":"2026-07-05T12:08:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:DCXO4UVWEZA5KZFPMURFU4J4UR","target":"record","payload":{"canonical_record":{"source":{"id":"2509.08165","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2025-09-09T22:00:28Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"5ee624b38da9ea9843b63bc2f7e4b52986cff884888ec898ce37863d372cc04f","abstract_canon_sha256":"d8444d1dce07675bb3f432e711502ccf2bda18bf6c5809cb975c777c2ccbf0f4"},"schema_version":"1.0"},"canonical_sha256":"18aeee52b62641d564af65225a713ca47c6bd0b2c468fd5bdb89daa469257012","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T12:08:24.137756Z","signature_b64":"53LJt661B2sO65d4XyXf0Q3/ICXYvsiG1lCGjZirUKx3hl4dSRwPuXsO2NovuDtNQARfdzuo8c6TgKSnMgAMCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"18aeee52b62641d564af65225a713ca47c6bd0b2c468fd5bdb89daa469257012","last_reissued_at":"2026-07-05T12:08:24.137263Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T12:08:24.137263Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2509.08165","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-05T12:08:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Pbkwat+LgBeFbQ7+UTB3wXBxqo3KqEGXj3feB5E24gmmw+nsKJy1HWh2NG33v20LIiX6+k8NJLGy+MI1UtvWCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T09:35:33.120199Z"},"content_sha256":"5d133a34612927bba4e2013a37f926bee0c05747db7658464972eca48d819384","schema_version":"1.0","event_id":"sha256:5d133a34612927bba4e2013a37f926bee0c05747db7658464972eca48d819384"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:DCXO4UVWEZA5KZFPMURFU4J4UR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.LO"],"primary_cat":"cs.LO","authors_text":"Alessandro Artale, Andrea Mazzullo, Christopher Hampson, Frank Wolter, Roman Kontchakov","submitted_at":"2025-09-09T22:00:28Z","abstract_excerpt":"While modal extensions of decidable fragments of first-order logic are usually undecidable, their monodic counterparts, in which formulas in the scope of modal operators have at most one free variable, are typically decidable. This only holds, however, under the provision that non-rigid constants, definite descriptions and non-trivial counting are not admitted. Indeed, several monodic fragments having at least one of these features are known to be undecidable. We investigate these features systematically and show that fundamental monodic fragments such as the two-variable fragment with countin"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.08165","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/2509.08165/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-05T12:08:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AYGliUslFTU7JzIiWxPqqW9g0gR/Q0M4gUCpmvkG1vFeYuunpEN1klCjI8MXVkvUMBapwPadSXdntVfbDcb4Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T09:35:33.121171Z"},"content_sha256":"80ec0e1ee5c8aae39b8fd31fe33dbc4b6a5d07cbf32f97d1e491a920d4242e00","schema_version":"1.0","event_id":"sha256:80ec0e1ee5c8aae39b8fd31fe33dbc4b6a5d07cbf32f97d1e491a920d4242e00"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DCXO4UVWEZA5KZFPMURFU4J4UR/bundle.json","state_url":"https://pith.science/pith/DCXO4UVWEZA5KZFPMURFU4J4UR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DCXO4UVWEZA5KZFPMURFU4J4UR/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-12T09:35:33Z","links":{"resolver":"https://pith.science/pith/DCXO4UVWEZA5KZFPMURFU4J4UR","bundle":"https://pith.science/pith/DCXO4UVWEZA5KZFPMURFU4J4UR/bundle.json","state":"https://pith.science/pith/DCXO4UVWEZA5KZFPMURFU4J4UR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DCXO4UVWEZA5KZFPMURFU4J4UR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:DCXO4UVWEZA5KZFPMURFU4J4UR","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":"d8444d1dce07675bb3f432e711502ccf2bda18bf6c5809cb975c777c2ccbf0f4","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2025-09-09T22:00:28Z","title_canon_sha256":"5ee624b38da9ea9843b63bc2f7e4b52986cff884888ec898ce37863d372cc04f"},"schema_version":"1.0","source":{"id":"2509.08165","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.08165","created_at":"2026-07-05T12:08:24Z"},{"alias_kind":"arxiv_version","alias_value":"2509.08165v1","created_at":"2026-07-05T12:08:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.08165","created_at":"2026-07-05T12:08:24Z"},{"alias_kind":"pith_short_12","alias_value":"DCXO4UVWEZA5","created_at":"2026-07-05T12:08:24Z"},{"alias_kind":"pith_short_16","alias_value":"DCXO4UVWEZA5KZFP","created_at":"2026-07-05T12:08:24Z"},{"alias_kind":"pith_short_8","alias_value":"DCXO4UVW","created_at":"2026-07-05T12:08:24Z"}],"graph_snapshots":[{"event_id":"sha256:80ec0e1ee5c8aae39b8fd31fe33dbc4b6a5d07cbf32f97d1e491a920d4242e00","target":"graph","created_at":"2026-07-05T12:08:24Z","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/2509.08165/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"While modal extensions of decidable fragments of first-order logic are usually undecidable, their monodic counterparts, in which formulas in the scope of modal operators have at most one free variable, are typically decidable. This only holds, however, under the provision that non-rigid constants, definite descriptions and non-trivial counting are not admitted. Indeed, several monodic fragments having at least one of these features are known to be undecidable. We investigate these features systematically and show that fundamental monodic fragments such as the two-variable fragment with countin","authors_text":"Alessandro Artale, Andrea Mazzullo, Christopher Hampson, Frank Wolter, Roman Kontchakov","cross_cats":["math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2025-09-09T22:00:28Z","title":"Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.08165","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:5d133a34612927bba4e2013a37f926bee0c05747db7658464972eca48d819384","target":"record","created_at":"2026-07-05T12:08:24Z","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":"d8444d1dce07675bb3f432e711502ccf2bda18bf6c5809cb975c777c2ccbf0f4","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2025-09-09T22:00:28Z","title_canon_sha256":"5ee624b38da9ea9843b63bc2f7e4b52986cff884888ec898ce37863d372cc04f"},"schema_version":"1.0","source":{"id":"2509.08165","kind":"arxiv","version":1}},"canonical_sha256":"18aeee52b62641d564af65225a713ca47c6bd0b2c468fd5bdb89daa469257012","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"18aeee52b62641d564af65225a713ca47c6bd0b2c468fd5bdb89daa469257012","first_computed_at":"2026-07-05T12:08:24.137263Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:08:24.137263Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"53LJt661B2sO65d4XyXf0Q3/ICXYvsiG1lCGjZirUKx3hl4dSRwPuXsO2NovuDtNQARfdzuo8c6TgKSnMgAMCw==","signature_status":"signed_v1","signed_at":"2026-07-05T12:08:24.137756Z","signed_message":"canonical_sha256_bytes"},"source_id":"2509.08165","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5d133a34612927bba4e2013a37f926bee0c05747db7658464972eca48d819384","sha256:80ec0e1ee5c8aae39b8fd31fe33dbc4b6a5d07cbf32f97d1e491a920d4242e00"],"state_sha256":"ca37234034bbac767e8f52042f18f4eeb7e8b52f546d19fde39a03b3c2d96e9a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"H8STLwWbx60YvS4mecU6XZw4v0XEsr9hJ3DA/M7ZVusQY6L46DsxLtU6oToLWcz7vL8aOmjTgPyOs6FNGphkAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-12T09:35:33.155896Z","bundle_sha256":"a94d7f30038dfe8de93e5ce1d3398c6492e77d06882dd4b0d29b76dd9ec0a073"}}