{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:J6T3EJF7UDCBFLL3ZOF7TOULR6","short_pith_number":"pith:J6T3EJF7","canonical_record":{"source":{"id":"1604.06901","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-04-23T12:40:43Z","cross_cats_sorted":[],"title_canon_sha256":"ae1fde08346d425c97967946bde7bdf535a1a16574ad9e723db6ad029fc55ecd","abstract_canon_sha256":"9a6952f0fde4e67556061e078f07f177a777a67c4368af66364173902160e27d"},"schema_version":"1.0"},"canonical_sha256":"4fa7b224bfa0c412ad7bcb8bf9ba8b8fb7e889973cb5e7b76c18412be34c4fbb","source":{"kind":"arxiv","id":"1604.06901","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.06901","created_at":"2026-05-18T01:16:23Z"},{"alias_kind":"arxiv_version","alias_value":"1604.06901v1","created_at":"2026-05-18T01:16:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.06901","created_at":"2026-05-18T01:16:23Z"},{"alias_kind":"pith_short_12","alias_value":"J6T3EJF7UDCB","created_at":"2026-05-18T12:30:22Z"},{"alias_kind":"pith_short_16","alias_value":"J6T3EJF7UDCBFLL3","created_at":"2026-05-18T12:30:22Z"},{"alias_kind":"pith_short_8","alias_value":"J6T3EJF7","created_at":"2026-05-18T12:30:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:J6T3EJF7UDCBFLL3ZOF7TOULR6","target":"record","payload":{"canonical_record":{"source":{"id":"1604.06901","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-04-23T12:40:43Z","cross_cats_sorted":[],"title_canon_sha256":"ae1fde08346d425c97967946bde7bdf535a1a16574ad9e723db6ad029fc55ecd","abstract_canon_sha256":"9a6952f0fde4e67556061e078f07f177a777a67c4368af66364173902160e27d"},"schema_version":"1.0"},"canonical_sha256":"4fa7b224bfa0c412ad7bcb8bf9ba8b8fb7e889973cb5e7b76c18412be34c4fbb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:16:23.653173Z","signature_b64":"OAvk7n3ly7EbrNhn95UX450pAGTDaI9s46K8Y4FLVwPX9ReJWs0EvU6tlRTTXUk1omCxI8X0YPZdbsPU/fmNCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4fa7b224bfa0c412ad7bcb8bf9ba8b8fb7e889973cb5e7b76c18412be34c4fbb","last_reissued_at":"2026-05-18T01:16:23.652577Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:16:23.652577Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1604.06901","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-18T01:16:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dUMk/V507plYHOa70pEX55LA/GW21y28oakZkrHL9Rp9xZk55sldQa7MLCn7CZe3nRelrP+4aKPz27r9M8d2DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T04:14:31.533077Z"},"content_sha256":"36111f63371363a433777a98663766ca5847e08c7ea882fd194a4ab4914d7033","schema_version":"1.0","event_id":"sha256:36111f63371363a433777a98663766ca5847e08c7ea882fd194a4ab4914d7033"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:J6T3EJF7UDCBFLL3ZOF7TOULR6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Algebraic semantics for hybrid logics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Claudette Robinson, Willem Conradie","submitted_at":"2016-04-23T12:40:43Z","abstract_excerpt":"We introduce hybrid algebras as algebraic semantics for hybrid languages with nominals and, possibly, the satisfaction operator. We establish a duality between hybrid algebras and the descriptive two-sorted general frames of Ten Cate. We show that all axiomatic extensions of the basic hybrid logics, with or without the satisfaction operator, are complete with respect to their classes of hybrid algebras. Moreover, we show that by adding the usual non-orthodox rules to these logics, they become complete with respect to their classes of permeated hybrid algebras, corresponding to strongly descrip"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.06901","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-18T01:16:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6ofsKSprqCz4wOrHc/m3M2+abzA520YduOpbQNbBN9Lw/UP++6mZ3dq8guEUvjnMJBH+lpzBdUDk91Uu1P43Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T04:14:31.533450Z"},"content_sha256":"9177759fb7529ac6ef1bd3927a05ec4092b5766cb465837e2299312a4e92dc08","schema_version":"1.0","event_id":"sha256:9177759fb7529ac6ef1bd3927a05ec4092b5766cb465837e2299312a4e92dc08"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/J6T3EJF7UDCBFLL3ZOF7TOULR6/bundle.json","state_url":"https://pith.science/pith/J6T3EJF7UDCBFLL3ZOF7TOULR6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/J6T3EJF7UDCBFLL3ZOF7TOULR6/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-02T04:14:31Z","links":{"resolver":"https://pith.science/pith/J6T3EJF7UDCBFLL3ZOF7TOULR6","bundle":"https://pith.science/pith/J6T3EJF7UDCBFLL3ZOF7TOULR6/bundle.json","state":"https://pith.science/pith/J6T3EJF7UDCBFLL3ZOF7TOULR6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/J6T3EJF7UDCBFLL3ZOF7TOULR6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:J6T3EJF7UDCBFLL3ZOF7TOULR6","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":"9a6952f0fde4e67556061e078f07f177a777a67c4368af66364173902160e27d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-04-23T12:40:43Z","title_canon_sha256":"ae1fde08346d425c97967946bde7bdf535a1a16574ad9e723db6ad029fc55ecd"},"schema_version":"1.0","source":{"id":"1604.06901","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.06901","created_at":"2026-05-18T01:16:23Z"},{"alias_kind":"arxiv_version","alias_value":"1604.06901v1","created_at":"2026-05-18T01:16:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.06901","created_at":"2026-05-18T01:16:23Z"},{"alias_kind":"pith_short_12","alias_value":"J6T3EJF7UDCB","created_at":"2026-05-18T12:30:22Z"},{"alias_kind":"pith_short_16","alias_value":"J6T3EJF7UDCBFLL3","created_at":"2026-05-18T12:30:22Z"},{"alias_kind":"pith_short_8","alias_value":"J6T3EJF7","created_at":"2026-05-18T12:30:22Z"}],"graph_snapshots":[{"event_id":"sha256:9177759fb7529ac6ef1bd3927a05ec4092b5766cb465837e2299312a4e92dc08","target":"graph","created_at":"2026-05-18T01:16:23Z","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 introduce hybrid algebras as algebraic semantics for hybrid languages with nominals and, possibly, the satisfaction operator. We establish a duality between hybrid algebras and the descriptive two-sorted general frames of Ten Cate. We show that all axiomatic extensions of the basic hybrid logics, with or without the satisfaction operator, are complete with respect to their classes of hybrid algebras. Moreover, we show that by adding the usual non-orthodox rules to these logics, they become complete with respect to their classes of permeated hybrid algebras, corresponding to strongly descrip","authors_text":"Claudette Robinson, Willem Conradie","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-04-23T12:40:43Z","title":"Algebraic semantics for hybrid logics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.06901","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:36111f63371363a433777a98663766ca5847e08c7ea882fd194a4ab4914d7033","target":"record","created_at":"2026-05-18T01:16:23Z","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":"9a6952f0fde4e67556061e078f07f177a777a67c4368af66364173902160e27d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-04-23T12:40:43Z","title_canon_sha256":"ae1fde08346d425c97967946bde7bdf535a1a16574ad9e723db6ad029fc55ecd"},"schema_version":"1.0","source":{"id":"1604.06901","kind":"arxiv","version":1}},"canonical_sha256":"4fa7b224bfa0c412ad7bcb8bf9ba8b8fb7e889973cb5e7b76c18412be34c4fbb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4fa7b224bfa0c412ad7bcb8bf9ba8b8fb7e889973cb5e7b76c18412be34c4fbb","first_computed_at":"2026-05-18T01:16:23.652577Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:16:23.652577Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"OAvk7n3ly7EbrNhn95UX450pAGTDaI9s46K8Y4FLVwPX9ReJWs0EvU6tlRTTXUk1omCxI8X0YPZdbsPU/fmNCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:16:23.653173Z","signed_message":"canonical_sha256_bytes"},"source_id":"1604.06901","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:36111f63371363a433777a98663766ca5847e08c7ea882fd194a4ab4914d7033","sha256:9177759fb7529ac6ef1bd3927a05ec4092b5766cb465837e2299312a4e92dc08"],"state_sha256":"c162efc1c86e686caf6eefe74aa158227546636d73811c45498762fd447ee541"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ujT8f5TRju3QBAgNQK+oY7rMQ5jbmUulZBxjbcYh30sC6vaKG2MvyOFQ6vrnkzzaiRCZno2jg0tD2kKmqUfTBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T04:14:31.535545Z","bundle_sha256":"8af3fc4464a81eb6291c05eb6e1ccb6ed108ff98b33c3b0c866d7161e7d5a3a1"}}