{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:YJQYL3KT2Y2ADM2Q54AS3KILH3","short_pith_number":"pith:YJQYL3KT","canonical_record":{"source":{"id":"1408.5957","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-08-26T01:14:51Z","cross_cats_sorted":[],"title_canon_sha256":"0de7c9163764761488d5b7fb292002e9d318a84483584ad49958f94c18b84a0c","abstract_canon_sha256":"c400ff3033323b391c8309d8c228f2ac2101d3a7404e413112f1e3de83b7bb37"},"schema_version":"1.0"},"canonical_sha256":"c26185ed53d63401b350ef012da90b3ee8b36b1a60f75fc097b97a5af5e94b46","source":{"kind":"arxiv","id":"1408.5957","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1408.5957","created_at":"2026-05-18T02:44:15Z"},{"alias_kind":"arxiv_version","alias_value":"1408.5957v1","created_at":"2026-05-18T02:44:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1408.5957","created_at":"2026-05-18T02:44:15Z"},{"alias_kind":"pith_short_12","alias_value":"YJQYL3KT2Y2A","created_at":"2026-05-18T12:28:57Z"},{"alias_kind":"pith_short_16","alias_value":"YJQYL3KT2Y2ADM2Q","created_at":"2026-05-18T12:28:57Z"},{"alias_kind":"pith_short_8","alias_value":"YJQYL3KT","created_at":"2026-05-18T12:28:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:YJQYL3KT2Y2ADM2Q54AS3KILH3","target":"record","payload":{"canonical_record":{"source":{"id":"1408.5957","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-08-26T01:14:51Z","cross_cats_sorted":[],"title_canon_sha256":"0de7c9163764761488d5b7fb292002e9d318a84483584ad49958f94c18b84a0c","abstract_canon_sha256":"c400ff3033323b391c8309d8c228f2ac2101d3a7404e413112f1e3de83b7bb37"},"schema_version":"1.0"},"canonical_sha256":"c26185ed53d63401b350ef012da90b3ee8b36b1a60f75fc097b97a5af5e94b46","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:44:15.768256Z","signature_b64":"Ybief/n2lTWDexgFNcuAHyr9c629wOOEcf4yYxjmP7pcLkk8new5yS3vLyEPN8ot/NkUC36ogyZv/LTZ/JFNCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c26185ed53d63401b350ef012da90b3ee8b36b1a60f75fc097b97a5af5e94b46","last_reissued_at":"2026-05-18T02:44:15.767751Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:44:15.767751Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1408.5957","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:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ztd6meeF+wzmIczzCT/TIh1NbOhmN3CFa/TzBP7CDWNW+eyv4Axk+wXnluSGwqOtupcnTZw/Oy2q85o2T9R9BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T11:27:58.519647Z"},"content_sha256":"bf4c860e10dc27b19138d6d151b89aa0e698b1ed62f58bb417495d9cd4609788","schema_version":"1.0","event_id":"sha256:bf4c860e10dc27b19138d6d151b89aa0e698b1ed62f58bb417495d9cd4609788"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:YJQYL3KT2Y2ADM2Q54AS3KILH3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Parametric Linear Dynamic Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Martin Zimmermann (Saarland University), Peter Faymonville (Saarland University)","submitted_at":"2014-08-26T01:14:51Z","abstract_excerpt":"We introduce Parametric Linear Dynamic Logic (PLDL), which extends Linear Dynamic Logic (LDL) by temporal operators equipped with parameters that bound their scope. LDL was proposed as an extension of Linear Temporal Logic (LTL) that is able to express all $\\omega$-regular specifications while still maintaining many of LTL's desirable properties like an intuitive syntax and a translation into non-deterministic B\\\"uchi automata of exponential size. But LDL lacks capabilities to express timing constraints. By adding parameterized operators to LDL, we obtain a logic that is able to express all $\\"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1408.5957","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:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"J8M9AUS6Kx08RHHjNlvmven74PlGsdGyAvGNWNg5HWJSDosngrrjYh1U5wD5OgZR8Bu91rTD0b+oIWzLPHivBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T11:27:58.519995Z"},"content_sha256":"a494d5e196af03f85457cec342aea5aa063b50f5138cb6752378828dcbe70742","schema_version":"1.0","event_id":"sha256:a494d5e196af03f85457cec342aea5aa063b50f5138cb6752378828dcbe70742"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YJQYL3KT2Y2ADM2Q54AS3KILH3/bundle.json","state_url":"https://pith.science/pith/YJQYL3KT2Y2ADM2Q54AS3KILH3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YJQYL3KT2Y2ADM2Q54AS3KILH3/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-04T11:27:58Z","links":{"resolver":"https://pith.science/pith/YJQYL3KT2Y2ADM2Q54AS3KILH3","bundle":"https://pith.science/pith/YJQYL3KT2Y2ADM2Q54AS3KILH3/bundle.json","state":"https://pith.science/pith/YJQYL3KT2Y2ADM2Q54AS3KILH3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YJQYL3KT2Y2ADM2Q54AS3KILH3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:YJQYL3KT2Y2ADM2Q54AS3KILH3","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":"c400ff3033323b391c8309d8c228f2ac2101d3a7404e413112f1e3de83b7bb37","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-08-26T01:14:51Z","title_canon_sha256":"0de7c9163764761488d5b7fb292002e9d318a84483584ad49958f94c18b84a0c"},"schema_version":"1.0","source":{"id":"1408.5957","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1408.5957","created_at":"2026-05-18T02:44:15Z"},{"alias_kind":"arxiv_version","alias_value":"1408.5957v1","created_at":"2026-05-18T02:44:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1408.5957","created_at":"2026-05-18T02:44:15Z"},{"alias_kind":"pith_short_12","alias_value":"YJQYL3KT2Y2A","created_at":"2026-05-18T12:28:57Z"},{"alias_kind":"pith_short_16","alias_value":"YJQYL3KT2Y2ADM2Q","created_at":"2026-05-18T12:28:57Z"},{"alias_kind":"pith_short_8","alias_value":"YJQYL3KT","created_at":"2026-05-18T12:28:57Z"}],"graph_snapshots":[{"event_id":"sha256:a494d5e196af03f85457cec342aea5aa063b50f5138cb6752378828dcbe70742","target":"graph","created_at":"2026-05-18T02:44:15Z","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 Parametric Linear Dynamic Logic (PLDL), which extends Linear Dynamic Logic (LDL) by temporal operators equipped with parameters that bound their scope. LDL was proposed as an extension of Linear Temporal Logic (LTL) that is able to express all $\\omega$-regular specifications while still maintaining many of LTL's desirable properties like an intuitive syntax and a translation into non-deterministic B\\\"uchi automata of exponential size. But LDL lacks capabilities to express timing constraints. By adding parameterized operators to LDL, we obtain a logic that is able to express all $\\","authors_text":"Martin Zimmermann (Saarland University), Peter Faymonville (Saarland University)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-08-26T01:14:51Z","title":"Parametric Linear Dynamic Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1408.5957","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:bf4c860e10dc27b19138d6d151b89aa0e698b1ed62f58bb417495d9cd4609788","target":"record","created_at":"2026-05-18T02:44:15Z","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":"c400ff3033323b391c8309d8c228f2ac2101d3a7404e413112f1e3de83b7bb37","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-08-26T01:14:51Z","title_canon_sha256":"0de7c9163764761488d5b7fb292002e9d318a84483584ad49958f94c18b84a0c"},"schema_version":"1.0","source":{"id":"1408.5957","kind":"arxiv","version":1}},"canonical_sha256":"c26185ed53d63401b350ef012da90b3ee8b36b1a60f75fc097b97a5af5e94b46","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c26185ed53d63401b350ef012da90b3ee8b36b1a60f75fc097b97a5af5e94b46","first_computed_at":"2026-05-18T02:44:15.767751Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:44:15.767751Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Ybief/n2lTWDexgFNcuAHyr9c629wOOEcf4yYxjmP7pcLkk8new5yS3vLyEPN8ot/NkUC36ogyZv/LTZ/JFNCw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:44:15.768256Z","signed_message":"canonical_sha256_bytes"},"source_id":"1408.5957","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bf4c860e10dc27b19138d6d151b89aa0e698b1ed62f58bb417495d9cd4609788","sha256:a494d5e196af03f85457cec342aea5aa063b50f5138cb6752378828dcbe70742"],"state_sha256":"af16d33dbb121d4b43e461953ddec68e2b6fcf70822dc06fd83f747294c765eb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yaNMJBWEe86uvzDeblms6SziBPOb6VVaQrtFn2TEVX+0hI18tZy4IABoSACQvdT6o+L6bL25oYfCQ5Eve0mfBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T11:27:58.521984Z","bundle_sha256":"c9a396b4ea61c42db2b8383d5b8ae41b6ddb84d40587a2d1640cfbe18d05621a"}}