{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:A4EOOHJWEZ74324ROOTJBHOD7U","short_pith_number":"pith:A4EOOHJW","canonical_record":{"source":{"id":"1408.6367","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-08-27T09:58:13Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"0d9826cd34532c9433d6363744350f712f3cff8a1ba737216ff93ccade1f09df","abstract_canon_sha256":"52b769eb5d34fc0346d18d46fd575fdc76efcc7873709a19e938553fe6095760"},"schema_version":"1.0"},"canonical_sha256":"0708e71d36267fcdeb9173a6909dc3fd305f828698c38a5a8600786c954df595","source":{"kind":"arxiv","id":"1408.6367","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1408.6367","created_at":"2026-05-18T02:44:07Z"},{"alias_kind":"arxiv_version","alias_value":"1408.6367v1","created_at":"2026-05-18T02:44:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1408.6367","created_at":"2026-05-18T02:44:07Z"},{"alias_kind":"pith_short_12","alias_value":"A4EOOHJWEZ74","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_16","alias_value":"A4EOOHJWEZ74324R","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_8","alias_value":"A4EOOHJW","created_at":"2026-05-18T12:28:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:A4EOOHJWEZ74324ROOTJBHOD7U","target":"record","payload":{"canonical_record":{"source":{"id":"1408.6367","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-08-27T09:58:13Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"0d9826cd34532c9433d6363744350f712f3cff8a1ba737216ff93ccade1f09df","abstract_canon_sha256":"52b769eb5d34fc0346d18d46fd575fdc76efcc7873709a19e938553fe6095760"},"schema_version":"1.0"},"canonical_sha256":"0708e71d36267fcdeb9173a6909dc3fd305f828698c38a5a8600786c954df595","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:44:07.642196Z","signature_b64":"9pOS9qP7amzUZNmUJo/QGbMASsED0ZkK3e8chpZqZR+GGv30HRxDR87s73V+yeExFfxdPOr28agWqDvMju2rBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0708e71d36267fcdeb9173a6909dc3fd305f828698c38a5a8600786c954df595","last_reissued_at":"2026-05-18T02:44:07.641814Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:44:07.641814Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1408.6367","source_version":1,"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-18T02:44:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SzIvEVTDSVI8iyGZtWbGgYo4YxIk+O74j8vfa1iYDg3KF0jGJ7D8Ooibi3TUKOHOlzkdS5VdnQh03E/YPYZICA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T16:34:22.585905Z"},"content_sha256":"f3544bdd9b9e374c53c338660e0489cf8f90e5e8f48135cd8118af47c9254c8e","schema_version":"1.0","event_id":"sha256:f3544bdd9b9e374c53c338660e0489cf8f90e5e8f48135cd8118af47c9254c8e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:A4EOOHJWEZ74324ROOTJBHOD7U","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Canonicity results for mu-calculi: an algorithmic approach","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.LO","authors_text":"Andrew Craig, Willem Conradie","submitted_at":"2014-08-27T09:58:13Z","abstract_excerpt":"We investigate the canonicity of inequalities of the intuitionistic mu-calculus. The notion of canonicity in the presence of fixed point operators is not entirely straightforward. In the algebraic setting of canonical extensions we examine both the usual notion of canonicity and what we will call tame canonicity. This latter concept has previously been investigated for the classical mu-calculus by Bezhanishvili and Hodkinson. Our approach is in the spirit of Sahlqvist theory. That is, we identify syntactically-defined classes of inequalities, namely the restricted inductive and tame inductive "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1408.6367","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"},"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-18T02:44:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4V8CuHlpez58tCMVgzV3/5JXdfwbD7BHN/AibBOoKcYnzRFcoT796Pdx93nDAS1LAYAS90y9siE8wXsMRknnDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T16:34:22.586251Z"},"content_sha256":"d198665c0adb7a5b6aea11e9dc40c5807e011833e2514f7f653f3b4fc63cf663","schema_version":"1.0","event_id":"sha256:d198665c0adb7a5b6aea11e9dc40c5807e011833e2514f7f653f3b4fc63cf663"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/A4EOOHJWEZ74324ROOTJBHOD7U/bundle.json","state_url":"https://pith.science/pith/A4EOOHJWEZ74324ROOTJBHOD7U/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/A4EOOHJWEZ74324ROOTJBHOD7U/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-02T16:34:22Z","links":{"resolver":"https://pith.science/pith/A4EOOHJWEZ74324ROOTJBHOD7U","bundle":"https://pith.science/pith/A4EOOHJWEZ74324ROOTJBHOD7U/bundle.json","state":"https://pith.science/pith/A4EOOHJWEZ74324ROOTJBHOD7U/state.json","well_known_bundle":"https://pith.science/.well-known/pith/A4EOOHJWEZ74324ROOTJBHOD7U/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:A4EOOHJWEZ74324ROOTJBHOD7U","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":"52b769eb5d34fc0346d18d46fd575fdc76efcc7873709a19e938553fe6095760","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-08-27T09:58:13Z","title_canon_sha256":"0d9826cd34532c9433d6363744350f712f3cff8a1ba737216ff93ccade1f09df"},"schema_version":"1.0","source":{"id":"1408.6367","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1408.6367","created_at":"2026-05-18T02:44:07Z"},{"alias_kind":"arxiv_version","alias_value":"1408.6367v1","created_at":"2026-05-18T02:44:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1408.6367","created_at":"2026-05-18T02:44:07Z"},{"alias_kind":"pith_short_12","alias_value":"A4EOOHJWEZ74","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_16","alias_value":"A4EOOHJWEZ74324R","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_8","alias_value":"A4EOOHJW","created_at":"2026-05-18T12:28:19Z"}],"graph_snapshots":[{"event_id":"sha256:d198665c0adb7a5b6aea11e9dc40c5807e011833e2514f7f653f3b4fc63cf663","target":"graph","created_at":"2026-05-18T02:44:07Z","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":"We investigate the canonicity of inequalities of the intuitionistic mu-calculus. The notion of canonicity in the presence of fixed point operators is not entirely straightforward. In the algebraic setting of canonical extensions we examine both the usual notion of canonicity and what we will call tame canonicity. This latter concept has previously been investigated for the classical mu-calculus by Bezhanishvili and Hodkinson. Our approach is in the spirit of Sahlqvist theory. That is, we identify syntactically-defined classes of inequalities, namely the restricted inductive and tame inductive ","authors_text":"Andrew Craig, Willem Conradie","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-08-27T09:58:13Z","title":"Canonicity results for mu-calculi: an algorithmic approach"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1408.6367","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:f3544bdd9b9e374c53c338660e0489cf8f90e5e8f48135cd8118af47c9254c8e","target":"record","created_at":"2026-05-18T02:44:07Z","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":"52b769eb5d34fc0346d18d46fd575fdc76efcc7873709a19e938553fe6095760","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-08-27T09:58:13Z","title_canon_sha256":"0d9826cd34532c9433d6363744350f712f3cff8a1ba737216ff93ccade1f09df"},"schema_version":"1.0","source":{"id":"1408.6367","kind":"arxiv","version":1}},"canonical_sha256":"0708e71d36267fcdeb9173a6909dc3fd305f828698c38a5a8600786c954df595","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0708e71d36267fcdeb9173a6909dc3fd305f828698c38a5a8600786c954df595","first_computed_at":"2026-05-18T02:44:07.641814Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:44:07.641814Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9pOS9qP7amzUZNmUJo/QGbMASsED0ZkK3e8chpZqZR+GGv30HRxDR87s73V+yeExFfxdPOr28agWqDvMju2rBA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:44:07.642196Z","signed_message":"canonical_sha256_bytes"},"source_id":"1408.6367","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f3544bdd9b9e374c53c338660e0489cf8f90e5e8f48135cd8118af47c9254c8e","sha256:d198665c0adb7a5b6aea11e9dc40c5807e011833e2514f7f653f3b4fc63cf663"],"state_sha256":"aa4a567c7f058c7d7051f1e9ad4020093f4745236a32bd86e3fec41485444990"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ji5l43vPunKnRdlYUzxBcHa33OGgNEOFcfKNnxMnRdW37uEiKWlTmhMLZkUClDV+FEDBmw1UP5DOgitrub6+Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T16:34:22.588147Z","bundle_sha256":"d82616b1f390a599100fb23228199cbb098aa0e4cbdf62cb3b796b84be681c2b"}}