{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:5CPBZ3BBLL4YDDLF6TFELDS6CB","short_pith_number":"pith:5CPBZ3BB","canonical_record":{"source":{"id":"1004.2717","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-04-15T21:16:32Z","cross_cats_sorted":[],"title_canon_sha256":"a0720939f8fbfe26ea3e45323f8d7a0a4f5458c91cd3eba5dcff5d9483dc73c9","abstract_canon_sha256":"ef1022c33fb77906ede4f81494fe787461332428093600f8f0dfff973a2945c0"},"schema_version":"1.0"},"canonical_sha256":"e89e1cec215af9818d65f4ca458e5e104c6ba7c04a23a638b8cef71e64f2221f","source":{"kind":"arxiv","id":"1004.2717","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1004.2717","created_at":"2026-05-18T01:12:40Z"},{"alias_kind":"arxiv_version","alias_value":"1004.2717v2","created_at":"2026-05-18T01:12:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1004.2717","created_at":"2026-05-18T01:12:40Z"},{"alias_kind":"pith_short_12","alias_value":"5CPBZ3BBLL4Y","created_at":"2026-05-18T12:26:04Z"},{"alias_kind":"pith_short_16","alias_value":"5CPBZ3BBLL4YDDLF","created_at":"2026-05-18T12:26:04Z"},{"alias_kind":"pith_short_8","alias_value":"5CPBZ3BB","created_at":"2026-05-18T12:26:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:5CPBZ3BBLL4YDDLF6TFELDS6CB","target":"record","payload":{"canonical_record":{"source":{"id":"1004.2717","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-04-15T21:16:32Z","cross_cats_sorted":[],"title_canon_sha256":"a0720939f8fbfe26ea3e45323f8d7a0a4f5458c91cd3eba5dcff5d9483dc73c9","abstract_canon_sha256":"ef1022c33fb77906ede4f81494fe787461332428093600f8f0dfff973a2945c0"},"schema_version":"1.0"},"canonical_sha256":"e89e1cec215af9818d65f4ca458e5e104c6ba7c04a23a638b8cef71e64f2221f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:12:40.827983Z","signature_b64":"Nre5DYiow0w7GLGzVlYZQR/k9y4x6xBemQznmpGTATzMjt/lJLTeYhUe/FhoiWhx0qbY0oid4cC/N56vYr2gAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e89e1cec215af9818d65f4ca458e5e104c6ba7c04a23a638b8cef71e64f2221f","last_reissued_at":"2026-05-18T01:12:40.827625Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:12:40.827625Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1004.2717","source_version":2,"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-05-18T01:12:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lV+4NgQhquXPRUqgas3brmMsVmus+erHPOZreo2r1O9xB9gScggES6A2ai6hzDuCvgWopZ7YjH7FPxWO4qpXAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T12:46:33.997304Z"},"content_sha256":"5600e4f2521c480939c26e240ed8d1c74712fb4b69e36ea20bb194818628cda1","schema_version":"1.0","event_id":"sha256:5600e4f2521c480939c26e240ed8d1c74712fb4b69e36ea20bb194818628cda1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:5CPBZ3BBLL4YDDLF6TFELDS6CB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Completeness of Flat Coalgebraic Fixpoint Logics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Lutz Schr\\\"oder, Yde Venema","submitted_at":"2010-04-15T21:16:32Z","abstract_excerpt":"Modal fixpoint logics traditionally play a central role in computer science, in particular in artificial intelligence and concurrency. The mu-calculus and its relatives are among the most expressive logics of this type. However, popular fixpoint logics tend to trade expressivity for simplicity and readability, and in fact often live within the single variable fragment of the mu-calculus. The family of such flat fixpoint logics includes, e.g., LTL, CTL, and the logic of common knowledge. Extending this notion to the generic semantic framework of coalgebraic logic enables covering a wide range o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1004.2717","kind":"arxiv","version":2},"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"},"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-05-18T01:12:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JutouC+rNyU6ICVYI7yeOSiUOMMZRkbFT59FvJfsVMHaQzFtdwGMTMPzEK8oOX018U8/DHRfxKZAESSdVbNRDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T12:46:33.997671Z"},"content_sha256":"f5597561b29380e249b880802dd640162586af319dbbdadadc8f9ba3e12130d7","schema_version":"1.0","event_id":"sha256:f5597561b29380e249b880802dd640162586af319dbbdadadc8f9ba3e12130d7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5CPBZ3BBLL4YDDLF6TFELDS6CB/bundle.json","state_url":"https://pith.science/pith/5CPBZ3BBLL4YDDLF6TFELDS6CB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5CPBZ3BBLL4YDDLF6TFELDS6CB/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-06-26T12:46:33Z","links":{"resolver":"https://pith.science/pith/5CPBZ3BBLL4YDDLF6TFELDS6CB","bundle":"https://pith.science/pith/5CPBZ3BBLL4YDDLF6TFELDS6CB/bundle.json","state":"https://pith.science/pith/5CPBZ3BBLL4YDDLF6TFELDS6CB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5CPBZ3BBLL4YDDLF6TFELDS6CB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:5CPBZ3BBLL4YDDLF6TFELDS6CB","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":"ef1022c33fb77906ede4f81494fe787461332428093600f8f0dfff973a2945c0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-04-15T21:16:32Z","title_canon_sha256":"a0720939f8fbfe26ea3e45323f8d7a0a4f5458c91cd3eba5dcff5d9483dc73c9"},"schema_version":"1.0","source":{"id":"1004.2717","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1004.2717","created_at":"2026-05-18T01:12:40Z"},{"alias_kind":"arxiv_version","alias_value":"1004.2717v2","created_at":"2026-05-18T01:12:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1004.2717","created_at":"2026-05-18T01:12:40Z"},{"alias_kind":"pith_short_12","alias_value":"5CPBZ3BBLL4Y","created_at":"2026-05-18T12:26:04Z"},{"alias_kind":"pith_short_16","alias_value":"5CPBZ3BBLL4YDDLF","created_at":"2026-05-18T12:26:04Z"},{"alias_kind":"pith_short_8","alias_value":"5CPBZ3BB","created_at":"2026-05-18T12:26:04Z"}],"graph_snapshots":[{"event_id":"sha256:f5597561b29380e249b880802dd640162586af319dbbdadadc8f9ba3e12130d7","target":"graph","created_at":"2026-05-18T01:12:40Z","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"},"paper":{"abstract_excerpt":"Modal fixpoint logics traditionally play a central role in computer science, in particular in artificial intelligence and concurrency. The mu-calculus and its relatives are among the most expressive logics of this type. However, popular fixpoint logics tend to trade expressivity for simplicity and readability, and in fact often live within the single variable fragment of the mu-calculus. The family of such flat fixpoint logics includes, e.g., LTL, CTL, and the logic of common knowledge. Extending this notion to the generic semantic framework of coalgebraic logic enables covering a wide range o","authors_text":"Lutz Schr\\\"oder, Yde Venema","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-04-15T21:16:32Z","title":"Completeness of Flat Coalgebraic Fixpoint Logics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1004.2717","kind":"arxiv","version":2},"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:5600e4f2521c480939c26e240ed8d1c74712fb4b69e36ea20bb194818628cda1","target":"record","created_at":"2026-05-18T01:12:40Z","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":"ef1022c33fb77906ede4f81494fe787461332428093600f8f0dfff973a2945c0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-04-15T21:16:32Z","title_canon_sha256":"a0720939f8fbfe26ea3e45323f8d7a0a4f5458c91cd3eba5dcff5d9483dc73c9"},"schema_version":"1.0","source":{"id":"1004.2717","kind":"arxiv","version":2}},"canonical_sha256":"e89e1cec215af9818d65f4ca458e5e104c6ba7c04a23a638b8cef71e64f2221f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e89e1cec215af9818d65f4ca458e5e104c6ba7c04a23a638b8cef71e64f2221f","first_computed_at":"2026-05-18T01:12:40.827625Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:12:40.827625Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Nre5DYiow0w7GLGzVlYZQR/k9y4x6xBemQznmpGTATzMjt/lJLTeYhUe/FhoiWhx0qbY0oid4cC/N56vYr2gAA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:12:40.827983Z","signed_message":"canonical_sha256_bytes"},"source_id":"1004.2717","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5600e4f2521c480939c26e240ed8d1c74712fb4b69e36ea20bb194818628cda1","sha256:f5597561b29380e249b880802dd640162586af319dbbdadadc8f9ba3e12130d7"],"state_sha256":"fa5619ace99833e33b718f7ccc6d4c7e31ccb7273d3f923a3b4a3bb00df390f9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sj1WvNHc/UKc+FB5NPKpHD5bd+KwmL9gJ1F0u35/NW3LajTrjvr4s5vmIFT7Bdgk50NJufgLDTgCw5lmSnqNCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T12:46:33.999878Z","bundle_sha256":"f094c92ef30d6311ca0a328f1e7a4d960ef309993118d70a94fc93fdb567b500"}}