{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:Z435S7IVKBMWP6CWHRMSOBUNAO","short_pith_number":"pith:Z435S7IV","schema_version":"1.0","canonical_sha256":"cf37d97d15505967f8563c5927068d039a20686017e1be9a1233c93bb5c0b7d9","source":{"kind":"arxiv","id":"1810.04722","version":2},"attestation_state":"computed","paper":{"title":"A van Benthem Theorem for Quantitative Probabilistic Modal Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Barbara K\\\"onig, Dirk Pattinson, Lutz Schr\\\"oder, Paul Wild","submitted_at":"2018-10-10T19:31:46Z","abstract_excerpt":"In probabilistic transition systems, behavioural metrics provide a more fine-grained and stable measure of system equivalence than crisp notions of bisimilarity. They correlate strongly to quantitative probabilistic logics, and in fact the distance induced by a probabilistic modal logic taking values in the real unit interval has been shown to coincide with behavioural distance. For probabilistic systems, probabilistic modal logic thus plays an analogous role to that of Hennessy-Milner logic on classical labelled transition systems. In the quantitative setting, invariance of modal logic under "},"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":"1810.04722","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-10-10T19:31:46Z","cross_cats_sorted":[],"title_canon_sha256":"d28e1ab389af554a318bd9e8310cc86dfea4ada17be284056fc304b743ce9946","abstract_canon_sha256":"45124620577dafe21124e1c36727eadffbce42fc2d4d3ec88175a5593b427695"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:44:22.252018Z","signature_b64":"xs3ziLZgTk6JtD24aoXB3JC+iSsApAox/nC/IoDkp+73GE2QDPdTp/GjnxKDIohyS6nkXs4saS4O+zKG+vT9AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cf37d97d15505967f8563c5927068d039a20686017e1be9a1233c93bb5c0b7d9","last_reissued_at":"2026-05-17T23:44:22.251304Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:44:22.251304Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A van Benthem Theorem for Quantitative Probabilistic Modal Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Barbara K\\\"onig, Dirk Pattinson, Lutz Schr\\\"oder, Paul Wild","submitted_at":"2018-10-10T19:31:46Z","abstract_excerpt":"In probabilistic transition systems, behavioural metrics provide a more fine-grained and stable measure of system equivalence than crisp notions of bisimilarity. They correlate strongly to quantitative probabilistic logics, and in fact the distance induced by a probabilistic modal logic taking values in the real unit interval has been shown to coincide with behavioural distance. For probabilistic systems, probabilistic modal logic thus plays an analogous role to that of Hennessy-Milner logic on classical labelled transition systems. In the quantitative setting, invariance of modal logic under "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.04722","kind":"arxiv","version":2},"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":"1810.04722","created_at":"2026-05-17T23:44:22.251426+00:00"},{"alias_kind":"arxiv_version","alias_value":"1810.04722v2","created_at":"2026-05-17T23:44:22.251426+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.04722","created_at":"2026-05-17T23:44:22.251426+00:00"},{"alias_kind":"pith_short_12","alias_value":"Z435S7IVKBMW","created_at":"2026-05-18T12:33:04.347982+00:00"},{"alias_kind":"pith_short_16","alias_value":"Z435S7IVKBMWP6CW","created_at":"2026-05-18T12:33:04.347982+00:00"},{"alias_kind":"pith_short_8","alias_value":"Z435S7IV","created_at":"2026-05-18T12:33:04.347982+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/Z435S7IVKBMWP6CWHRMSOBUNAO","json":"https://pith.science/pith/Z435S7IVKBMWP6CWHRMSOBUNAO.json","graph_json":"https://pith.science/api/pith-number/Z435S7IVKBMWP6CWHRMSOBUNAO/graph.json","events_json":"https://pith.science/api/pith-number/Z435S7IVKBMWP6CWHRMSOBUNAO/events.json","paper":"https://pith.science/paper/Z435S7IV"},"agent_actions":{"view_html":"https://pith.science/pith/Z435S7IVKBMWP6CWHRMSOBUNAO","download_json":"https://pith.science/pith/Z435S7IVKBMWP6CWHRMSOBUNAO.json","view_paper":"https://pith.science/paper/Z435S7IV","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1810.04722&json=true","fetch_graph":"https://pith.science/api/pith-number/Z435S7IVKBMWP6CWHRMSOBUNAO/graph.json","fetch_events":"https://pith.science/api/pith-number/Z435S7IVKBMWP6CWHRMSOBUNAO/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/Z435S7IVKBMWP6CWHRMSOBUNAO/action/timestamp_anchor","attest_storage":"https://pith.science/pith/Z435S7IVKBMWP6CWHRMSOBUNAO/action/storage_attestation","attest_author":"https://pith.science/pith/Z435S7IVKBMWP6CWHRMSOBUNAO/action/author_attestation","sign_citation":"https://pith.science/pith/Z435S7IVKBMWP6CWHRMSOBUNAO/action/citation_signature","submit_replication":"https://pith.science/pith/Z435S7IVKBMWP6CWHRMSOBUNAO/action/replication_record"}},"created_at":"2026-05-17T23:44:22.251426+00:00","updated_at":"2026-05-17T23:44:22.251426+00:00"}