{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:B7JQWV6E6VN7O5J27G2M2I2TJ4","short_pith_number":"pith:B7JQWV6E","schema_version":"1.0","canonical_sha256":"0fd30b57c4f55bf7753af9b4cd23534f3f19f62af7e0a129b5d7ec5f975e6806","source":{"kind":"arxiv","id":"2506.01421","version":1},"attestation_state":"computed","paper":{"title":"A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Anantha Padmanabha, Varad Joshi","submitted_at":"2025-06-02T08:21:53Z","abstract_excerpt":"The satisfiability problem for First-order Modal Logic (\\FOML) is undecidable even for simple fragments like having only unary predicates, two variables etc. Recently a new way to identify decidable fragments of \\FOML has been introduced called the \"bundled fragments\", where the quantifiers and modalities are restricted to appear together. Since there are many ways to bundle the quantifiers together, some of them lead to (un)decidable fragments. In (Liu et.al, 2023) the authors prove a `trichotomy', where they show that every bundled fragment falls into one of the following three categories: ("},"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":"2506.01421","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2025-06-02T08:21:53Z","cross_cats_sorted":[],"title_canon_sha256":"ca5f502bcba840f9e18a78bef8f18a994bd272d2df1f9c6e21e71981d0e7a8ae","abstract_canon_sha256":"d39bee84250dfd1da16f2478adbd2efbaf59a9eba9219d8984584a30cc0ebc25"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:14:12.899753Z","signature_b64":"SqaVjJcjkK4sNvoeJH84osrLo2wUjiUPkN5YbDu2oVBLotF/nwjOb2e8e4JQ/OLxQeJX+X18J6ZLXpQ/PRF7BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0fd30b57c4f55bf7753af9b4cd23534f3f19f62af7e0a129b5d7ec5f975e6806","last_reissued_at":"2026-07-05T11:14:12.899121Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:14:12.899121Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Anantha Padmanabha, Varad Joshi","submitted_at":"2025-06-02T08:21:53Z","abstract_excerpt":"The satisfiability problem for First-order Modal Logic (\\FOML) is undecidable even for simple fragments like having only unary predicates, two variables etc. Recently a new way to identify decidable fragments of \\FOML has been introduced called the \"bundled fragments\", where the quantifiers and modalities are restricted to appear together. Since there are many ways to bundle the quantifiers together, some of them lead to (un)decidable fragments. In (Liu et.al, 2023) the authors prove a `trichotomy', where they show that every bundled fragment falls into one of the following three categories: ("},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.01421","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/2506.01421/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":"2506.01421","created_at":"2026-07-05T11:14:12.899193+00:00"},{"alias_kind":"arxiv_version","alias_value":"2506.01421v1","created_at":"2026-07-05T11:14:12.899193+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.01421","created_at":"2026-07-05T11:14:12.899193+00:00"},{"alias_kind":"pith_short_12","alias_value":"B7JQWV6E6VN7","created_at":"2026-07-05T11:14:12.899193+00:00"},{"alias_kind":"pith_short_16","alias_value":"B7JQWV6E6VN7O5J2","created_at":"2026-07-05T11:14:12.899193+00:00"},{"alias_kind":"pith_short_8","alias_value":"B7JQWV6E","created_at":"2026-07-05T11:14:12.899193+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/B7JQWV6E6VN7O5J27G2M2I2TJ4","json":"https://pith.science/pith/B7JQWV6E6VN7O5J27G2M2I2TJ4.json","graph_json":"https://pith.science/api/pith-number/B7JQWV6E6VN7O5J27G2M2I2TJ4/graph.json","events_json":"https://pith.science/api/pith-number/B7JQWV6E6VN7O5J27G2M2I2TJ4/events.json","paper":"https://pith.science/paper/B7JQWV6E"},"agent_actions":{"view_html":"https://pith.science/pith/B7JQWV6E6VN7O5J27G2M2I2TJ4","download_json":"https://pith.science/pith/B7JQWV6E6VN7O5J27G2M2I2TJ4.json","view_paper":"https://pith.science/paper/B7JQWV6E","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2506.01421&json=true","fetch_graph":"https://pith.science/api/pith-number/B7JQWV6E6VN7O5J27G2M2I2TJ4/graph.json","fetch_events":"https://pith.science/api/pith-number/B7JQWV6E6VN7O5J27G2M2I2TJ4/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/B7JQWV6E6VN7O5J27G2M2I2TJ4/action/timestamp_anchor","attest_storage":"https://pith.science/pith/B7JQWV6E6VN7O5J27G2M2I2TJ4/action/storage_attestation","attest_author":"https://pith.science/pith/B7JQWV6E6VN7O5J27G2M2I2TJ4/action/author_attestation","sign_citation":"https://pith.science/pith/B7JQWV6E6VN7O5J27G2M2I2TJ4/action/citation_signature","submit_replication":"https://pith.science/pith/B7JQWV6E6VN7O5J27G2M2I2TJ4/action/replication_record"}},"created_at":"2026-07-05T11:14:12.899193+00:00","updated_at":"2026-07-05T11:14:12.899193+00:00"}