{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:Z4FXTUCLZNY4F2AWYR4BDDNJRW","short_pith_number":"pith:Z4FXTUCL","schema_version":"1.0","canonical_sha256":"cf0b79d04bcb71c2e816c478118da98dbed5730c6155ffe1afdc1fdff27f9d8c","source":{"kind":"arxiv","id":"1210.2481","version":1},"attestation_state":"computed","paper":{"title":"Satisfiability vs. Finite Satisfiability in Elementary Modal Logics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC"],"primary_cat":"cs.LO","authors_text":"Jakub Michaliszyn, Jan Otop, Piotr Witkowski","submitted_at":"2012-10-09T03:49:00Z","abstract_excerpt":"We study elementary modal logics, i.e. modal logic considered over first-order definable classes of frames. The classical semantics of modal logic allows infinite structures, but often practical applications require to restrict our attention to finite structures. Many decidability and undecidability results for the elementary modal logics were proved separately for general satisfiability and for finite satisfiability [11, 12, 16, 17]. In this paper, we show that there is a reason why we must deal with both kinds of satisfiability separately -- we prove that there is a universal first-order for"},"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":"1210.2481","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-10-09T03:49:00Z","cross_cats_sorted":["cs.CC"],"title_canon_sha256":"cc83d4428e23a748d74000316ac9052adb40d768b847f41a225c9ce1d05c547c","abstract_canon_sha256":"cf7d0907b5dcedd5eed07977ea1ccd3e5527c6845c7109842c8adb3bf9cfd893"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:43:41.379284Z","signature_b64":"T/o7qzzzuBSIIv+dOA09cPL3b60Hgzhc/5LzTIjX6YYXNPJ/N6W426Rv6qr41pvkyEkLaJ+kkQAuuutxYZ/8Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cf0b79d04bcb71c2e816c478118da98dbed5730c6155ffe1afdc1fdff27f9d8c","last_reissued_at":"2026-05-18T03:43:41.378742Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:43:41.378742Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Satisfiability vs. Finite Satisfiability in Elementary Modal Logics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC"],"primary_cat":"cs.LO","authors_text":"Jakub Michaliszyn, Jan Otop, Piotr Witkowski","submitted_at":"2012-10-09T03:49:00Z","abstract_excerpt":"We study elementary modal logics, i.e. modal logic considered over first-order definable classes of frames. The classical semantics of modal logic allows infinite structures, but often practical applications require to restrict our attention to finite structures. Many decidability and undecidability results for the elementary modal logics were proved separately for general satisfiability and for finite satisfiability [11, 12, 16, 17]. In this paper, we show that there is a reason why we must deal with both kinds of satisfiability separately -- we prove that there is a universal first-order for"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.2481","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":"1210.2481","created_at":"2026-05-18T03:43:41.378832+00:00"},{"alias_kind":"arxiv_version","alias_value":"1210.2481v1","created_at":"2026-05-18T03:43:41.378832+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.2481","created_at":"2026-05-18T03:43:41.378832+00:00"},{"alias_kind":"pith_short_12","alias_value":"Z4FXTUCLZNY4","created_at":"2026-05-18T12:27:30.460161+00:00"},{"alias_kind":"pith_short_16","alias_value":"Z4FXTUCLZNY4F2AW","created_at":"2026-05-18T12:27:30.460161+00:00"},{"alias_kind":"pith_short_8","alias_value":"Z4FXTUCL","created_at":"2026-05-18T12:27:30.460161+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/Z4FXTUCLZNY4F2AWYR4BDDNJRW","json":"https://pith.science/pith/Z4FXTUCLZNY4F2AWYR4BDDNJRW.json","graph_json":"https://pith.science/api/pith-number/Z4FXTUCLZNY4F2AWYR4BDDNJRW/graph.json","events_json":"https://pith.science/api/pith-number/Z4FXTUCLZNY4F2AWYR4BDDNJRW/events.json","paper":"https://pith.science/paper/Z4FXTUCL"},"agent_actions":{"view_html":"https://pith.science/pith/Z4FXTUCLZNY4F2AWYR4BDDNJRW","download_json":"https://pith.science/pith/Z4FXTUCLZNY4F2AWYR4BDDNJRW.json","view_paper":"https://pith.science/paper/Z4FXTUCL","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1210.2481&json=true","fetch_graph":"https://pith.science/api/pith-number/Z4FXTUCLZNY4F2AWYR4BDDNJRW/graph.json","fetch_events":"https://pith.science/api/pith-number/Z4FXTUCLZNY4F2AWYR4BDDNJRW/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/Z4FXTUCLZNY4F2AWYR4BDDNJRW/action/timestamp_anchor","attest_storage":"https://pith.science/pith/Z4FXTUCLZNY4F2AWYR4BDDNJRW/action/storage_attestation","attest_author":"https://pith.science/pith/Z4FXTUCLZNY4F2AWYR4BDDNJRW/action/author_attestation","sign_citation":"https://pith.science/pith/Z4FXTUCLZNY4F2AWYR4BDDNJRW/action/citation_signature","submit_replication":"https://pith.science/pith/Z4FXTUCLZNY4F2AWYR4BDDNJRW/action/replication_record"}},"created_at":"2026-05-18T03:43:41.378832+00:00","updated_at":"2026-05-18T03:43:41.378832+00:00"}