{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2010:5CPBZ3BBLL4YDDLF6TFELDS6CB","short_pith_number":"pith:5CPBZ3BB","schema_version":"1.0","canonical_sha256":"e89e1cec215af9818d65f4ca458e5e104c6ba7c04a23a638b8cef71e64f2221f","source":{"kind":"arxiv","id":"1004.2717","version":2},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1004.2717","created_at":"2026-05-18T01:12:40.827690+00:00"},{"alias_kind":"arxiv_version","alias_value":"1004.2717v2","created_at":"2026-05-18T01:12:40.827690+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1004.2717","created_at":"2026-05-18T01:12:40.827690+00:00"},{"alias_kind":"pith_short_12","alias_value":"5CPBZ3BBLL4Y","created_at":"2026-05-18T12:26:04.259169+00:00"},{"alias_kind":"pith_short_16","alias_value":"5CPBZ3BBLL4YDDLF","created_at":"2026-05-18T12:26:04.259169+00:00"},{"alias_kind":"pith_short_8","alias_value":"5CPBZ3BB","created_at":"2026-05-18T12:26:04.259169+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/5CPBZ3BBLL4YDDLF6TFELDS6CB","json":"https://pith.science/pith/5CPBZ3BBLL4YDDLF6TFELDS6CB.json","graph_json":"https://pith.science/api/pith-number/5CPBZ3BBLL4YDDLF6TFELDS6CB/graph.json","events_json":"https://pith.science/api/pith-number/5CPBZ3BBLL4YDDLF6TFELDS6CB/events.json","paper":"https://pith.science/paper/5CPBZ3BB"},"agent_actions":{"view_html":"https://pith.science/pith/5CPBZ3BBLL4YDDLF6TFELDS6CB","download_json":"https://pith.science/pith/5CPBZ3BBLL4YDDLF6TFELDS6CB.json","view_paper":"https://pith.science/paper/5CPBZ3BB","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1004.2717&json=true","fetch_graph":"https://pith.science/api/pith-number/5CPBZ3BBLL4YDDLF6TFELDS6CB/graph.json","fetch_events":"https://pith.science/api/pith-number/5CPBZ3BBLL4YDDLF6TFELDS6CB/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/5CPBZ3BBLL4YDDLF6TFELDS6CB/action/timestamp_anchor","attest_storage":"https://pith.science/pith/5CPBZ3BBLL4YDDLF6TFELDS6CB/action/storage_attestation","attest_author":"https://pith.science/pith/5CPBZ3BBLL4YDDLF6TFELDS6CB/action/author_attestation","sign_citation":"https://pith.science/pith/5CPBZ3BBLL4YDDLF6TFELDS6CB/action/citation_signature","submit_replication":"https://pith.science/pith/5CPBZ3BBLL4YDDLF6TFELDS6CB/action/replication_record"}},"created_at":"2026-05-18T01:12:40.827690+00:00","updated_at":"2026-05-18T01:12:40.827690+00:00"}