{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:CKBWPVLM6QO67SRECIKLA4PJTQ","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":"7cf9da7d20a78686b98cfcd29f5783916e25fa12c552f081f6e4c012d556c893","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2025-01-20T22:11:48Z","title_canon_sha256":"1df9127eec65c9f2d445126c0b1eeb9a1f4a2ae34485f65586cc403fc7b998bd"},"schema_version":"1.0","source":{"id":"2501.11768","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2501.11768","created_at":"2026-07-05T10:03:13Z"},{"alias_kind":"arxiv_version","alias_value":"2501.11768v1","created_at":"2026-07-05T10:03:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.11768","created_at":"2026-07-05T10:03:13Z"},{"alias_kind":"pith_short_12","alias_value":"CKBWPVLM6QO6","created_at":"2026-07-05T10:03:13Z"},{"alias_kind":"pith_short_16","alias_value":"CKBWPVLM6QO67SRE","created_at":"2026-07-05T10:03:13Z"},{"alias_kind":"pith_short_8","alias_value":"CKBWPVLM","created_at":"2026-07-05T10:03:13Z"}],"graph_snapshots":[{"event_id":"sha256:0b57e5fdd52a96779ca5c82c0527f7628f55280ca58ebe11635acb37381b033b","target":"graph","created_at":"2026-07-05T10:03:13Z","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/2501.11768/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper develops the model theory of normal modal logics based on partial \"possibilities\" instead of total \"worlds,\" following Humberstone (1981) instead of Kripke (1963). Possibility semantics can be seen as extending to modal logic the semantics for classical logic used in weak forcing in set theory, or as semanticizing a negative translation of classical modal logic into intuitionistic modal logic. Thus, possibility frames are based on posets with accessibility relations, like intuitionistic modal frames, but with the constraint that the interpretation of every formula is a regular open ","authors_text":"Wesley H. Holliday","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2025-01-20T22:11:48Z","title":"Possibility Frames and Forcing for Modal Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.11768","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:19a1a36d036151a9f312b63265ea0f0bb17455108e9ab5e59f63d58231313a0a","target":"record","created_at":"2026-07-05T10:03:13Z","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":"7cf9da7d20a78686b98cfcd29f5783916e25fa12c552f081f6e4c012d556c893","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2025-01-20T22:11:48Z","title_canon_sha256":"1df9127eec65c9f2d445126c0b1eeb9a1f4a2ae34485f65586cc403fc7b998bd"},"schema_version":"1.0","source":{"id":"2501.11768","kind":"arxiv","version":1}},"canonical_sha256":"128367d56cf41defca241214b071e99c396e2048bd28005fe886921d5003dc38","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"128367d56cf41defca241214b071e99c396e2048bd28005fe886921d5003dc38","first_computed_at":"2026-07-05T10:03:13.551935Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:03:13.551935Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"eQqxTte5/zPe2PxpGLtJ06nbNTdqzokQwAUJd/Fn2ap5d2yCVZsQDL2erRPI2YhcCN7rzTHoxMuzFs31licrAw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:03:13.552379Z","signed_message":"canonical_sha256_bytes"},"source_id":"2501.11768","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:19a1a36d036151a9f312b63265ea0f0bb17455108e9ab5e59f63d58231313a0a","sha256:0b57e5fdd52a96779ca5c82c0527f7628f55280ca58ebe11635acb37381b033b"],"state_sha256":"b2cad019caeb37331e73467c5b1a3d69942864915b14c0cc4dd559ea77a63650"}