{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:MVZSJJ2JAYDFJ3WNV4J5IAEBQH","short_pith_number":"pith:MVZSJJ2J","schema_version":"1.0","canonical_sha256":"657324a749060654eecdaf13d4008181d6f436b8c65a76414e5f3af04b0ef11d","source":{"kind":"arxiv","id":"1902.03074","version":1},"attestation_state":"computed","paper":{"title":"A Hybrid Dynamic Logic for Event/Data-based Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Alexander Knapp, Alexandre Madeira, Rolf Hennicker","submitted_at":"2019-02-08T13:34:21Z","abstract_excerpt":"We propose $\\mathcal{E}^{\\downarrow}$-logic as a formal foundation for the specification and development of event-based systems with local data states. The logic is intended to cover a broad range of abstraction levels from abstract requirements specifications up to constructive specifications. Our logic uses diamond and box modalities over structured actions adopted from dynamic logic. Atomic actions are pairs $e /\\psi$ where $e$ is an event and $\\psi$ a state transition predicate capturing the allowed reactions to the event. To write concrete specifications of recursive process structures we"},"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":"1902.03074","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-02-08T13:34:21Z","cross_cats_sorted":[],"title_canon_sha256":"bb2dd6ce52f75be17d33c029a42281bfa894daa5ae1ee684057f8d21bff78b79","abstract_canon_sha256":"fa7c2e5cfd1883ab1089dcf89d2ab0884c14258ea24ae2d122236a5672ae57bd"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:54:28.039165Z","signature_b64":"9+iytWCwwr76ByjfNg7Yl4B5rKE0p8U2mswQh1q2tUdF0lLXiJjVtiege5xWeHhQBaP0NLg9GKmSjXaVg4xOAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"657324a749060654eecdaf13d4008181d6f436b8c65a76414e5f3af04b0ef11d","last_reissued_at":"2026-05-17T23:54:28.038584Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:54:28.038584Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Hybrid Dynamic Logic for Event/Data-based Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Alexander Knapp, Alexandre Madeira, Rolf Hennicker","submitted_at":"2019-02-08T13:34:21Z","abstract_excerpt":"We propose $\\mathcal{E}^{\\downarrow}$-logic as a formal foundation for the specification and development of event-based systems with local data states. The logic is intended to cover a broad range of abstraction levels from abstract requirements specifications up to constructive specifications. Our logic uses diamond and box modalities over structured actions adopted from dynamic logic. Atomic actions are pairs $e /\\psi$ where $e$ is an event and $\\psi$ a state transition predicate capturing the allowed reactions to the event. To write concrete specifications of recursive process structures we"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.03074","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":"1902.03074","created_at":"2026-05-17T23:54:28.038666+00:00"},{"alias_kind":"arxiv_version","alias_value":"1902.03074v1","created_at":"2026-05-17T23:54:28.038666+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.03074","created_at":"2026-05-17T23:54:28.038666+00:00"},{"alias_kind":"pith_short_12","alias_value":"MVZSJJ2JAYDF","created_at":"2026-05-18T12:33:24.271573+00:00"},{"alias_kind":"pith_short_16","alias_value":"MVZSJJ2JAYDFJ3WN","created_at":"2026-05-18T12:33:24.271573+00:00"},{"alias_kind":"pith_short_8","alias_value":"MVZSJJ2J","created_at":"2026-05-18T12:33:24.271573+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/MVZSJJ2JAYDFJ3WNV4J5IAEBQH","json":"https://pith.science/pith/MVZSJJ2JAYDFJ3WNV4J5IAEBQH.json","graph_json":"https://pith.science/api/pith-number/MVZSJJ2JAYDFJ3WNV4J5IAEBQH/graph.json","events_json":"https://pith.science/api/pith-number/MVZSJJ2JAYDFJ3WNV4J5IAEBQH/events.json","paper":"https://pith.science/paper/MVZSJJ2J"},"agent_actions":{"view_html":"https://pith.science/pith/MVZSJJ2JAYDFJ3WNV4J5IAEBQH","download_json":"https://pith.science/pith/MVZSJJ2JAYDFJ3WNV4J5IAEBQH.json","view_paper":"https://pith.science/paper/MVZSJJ2J","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1902.03074&json=true","fetch_graph":"https://pith.science/api/pith-number/MVZSJJ2JAYDFJ3WNV4J5IAEBQH/graph.json","fetch_events":"https://pith.science/api/pith-number/MVZSJJ2JAYDFJ3WNV4J5IAEBQH/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/MVZSJJ2JAYDFJ3WNV4J5IAEBQH/action/timestamp_anchor","attest_storage":"https://pith.science/pith/MVZSJJ2JAYDFJ3WNV4J5IAEBQH/action/storage_attestation","attest_author":"https://pith.science/pith/MVZSJJ2JAYDFJ3WNV4J5IAEBQH/action/author_attestation","sign_citation":"https://pith.science/pith/MVZSJJ2JAYDFJ3WNV4J5IAEBQH/action/citation_signature","submit_replication":"https://pith.science/pith/MVZSJJ2JAYDFJ3WNV4J5IAEBQH/action/replication_record"}},"created_at":"2026-05-17T23:54:28.038666+00:00","updated_at":"2026-05-17T23:54:28.038666+00:00"}