{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:6V6Z34YCAOIAV2PNVDEMTBEZSO","short_pith_number":"pith:6V6Z34YC","schema_version":"1.0","canonical_sha256":"f57d9df30203900ae9eda8c8c98499938be54790b4eee4f42e9a37daadcedb6c","source":{"kind":"arxiv","id":"1412.8525","version":1},"attestation_state":"computed","paper":{"title":"Fibred Coalgebraic Logic and Quantum Protocols","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"quant-ph","authors_text":"Daniel Marsden (Department of Computer Science, UK), University of Oxford","submitted_at":"2014-12-30T01:43:13Z","abstract_excerpt":"Motivated by applications in modelling quantum systems using coalgebraic techniques, we introduce a fibred coalgebraic logic. Our approach extends the conventional predicate lifting semantics with additional modalities relating conditions on different fibres.  As this fibred setting will typically involve multiple signature functors, the logic incorporates a calculus of modalities enabling the construction of new modalities using various composition operations. We extend the semantics of coalgebraic logic to this setting, and prove that this extension respects behavioural equivalence.\n  We sho"},"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":"1412.8525","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2014-12-30T01:43:13Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"31b3d670a5ea38e5ace20dc5dae6300e19daf91473b71c6cd00534e667a1cecf","abstract_canon_sha256":"07e6076a34aa64bfe14216ef19c945ede60acc004016aac2ca2852c30c98f0a2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:30:17.209182Z","signature_b64":"qkgRIcF0e3V81bKSW/cfuXkxCXDfa7V9J97PnwDDccZWy+wZyQ9QnR1uVY7vXpJiyvtmVwMJokPQXTyb2y/JCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f57d9df30203900ae9eda8c8c98499938be54790b4eee4f42e9a37daadcedb6c","last_reissued_at":"2026-05-18T02:30:17.208754Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:30:17.208754Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Fibred Coalgebraic Logic and Quantum Protocols","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"quant-ph","authors_text":"Daniel Marsden (Department of Computer Science, UK), University of Oxford","submitted_at":"2014-12-30T01:43:13Z","abstract_excerpt":"Motivated by applications in modelling quantum systems using coalgebraic techniques, we introduce a fibred coalgebraic logic. Our approach extends the conventional predicate lifting semantics with additional modalities relating conditions on different fibres.  As this fibred setting will typically involve multiple signature functors, the logic incorporates a calculus of modalities enabling the construction of new modalities using various composition operations. We extend the semantics of coalgebraic logic to this setting, and prove that this extension respects behavioural equivalence.\n  We sho"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.8525","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":"1412.8525","created_at":"2026-05-18T02:30:17.208831+00:00"},{"alias_kind":"arxiv_version","alias_value":"1412.8525v1","created_at":"2026-05-18T02:30:17.208831+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.8525","created_at":"2026-05-18T02:30:17.208831+00:00"},{"alias_kind":"pith_short_12","alias_value":"6V6Z34YCAOIA","created_at":"2026-05-18T12:28:16.859392+00:00"},{"alias_kind":"pith_short_16","alias_value":"6V6Z34YCAOIAV2PN","created_at":"2026-05-18T12:28:16.859392+00:00"},{"alias_kind":"pith_short_8","alias_value":"6V6Z34YC","created_at":"2026-05-18T12:28:16.859392+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/6V6Z34YCAOIAV2PNVDEMTBEZSO","json":"https://pith.science/pith/6V6Z34YCAOIAV2PNVDEMTBEZSO.json","graph_json":"https://pith.science/api/pith-number/6V6Z34YCAOIAV2PNVDEMTBEZSO/graph.json","events_json":"https://pith.science/api/pith-number/6V6Z34YCAOIAV2PNVDEMTBEZSO/events.json","paper":"https://pith.science/paper/6V6Z34YC"},"agent_actions":{"view_html":"https://pith.science/pith/6V6Z34YCAOIAV2PNVDEMTBEZSO","download_json":"https://pith.science/pith/6V6Z34YCAOIAV2PNVDEMTBEZSO.json","view_paper":"https://pith.science/paper/6V6Z34YC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1412.8525&json=true","fetch_graph":"https://pith.science/api/pith-number/6V6Z34YCAOIAV2PNVDEMTBEZSO/graph.json","fetch_events":"https://pith.science/api/pith-number/6V6Z34YCAOIAV2PNVDEMTBEZSO/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/6V6Z34YCAOIAV2PNVDEMTBEZSO/action/timestamp_anchor","attest_storage":"https://pith.science/pith/6V6Z34YCAOIAV2PNVDEMTBEZSO/action/storage_attestation","attest_author":"https://pith.science/pith/6V6Z34YCAOIAV2PNVDEMTBEZSO/action/author_attestation","sign_citation":"https://pith.science/pith/6V6Z34YCAOIAV2PNVDEMTBEZSO/action/citation_signature","submit_replication":"https://pith.science/pith/6V6Z34YCAOIAV2PNVDEMTBEZSO/action/replication_record"}},"created_at":"2026-05-18T02:30:17.208831+00:00","updated_at":"2026-05-18T02:30:17.208831+00:00"}