{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:F5CTI7KH4X3AQSHPJWMM556U2F","short_pith_number":"pith:F5CTI7KH","canonical_record":{"source":{"id":"1703.02195","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-03-07T03:16:07Z","cross_cats_sorted":[],"title_canon_sha256":"2d7d289a4dea5a9891db6b3746a156f933a2595008f652b57be5e35c534881f5","abstract_canon_sha256":"54d2f4c5509a66e9323d54003474b711379653773f314b42be2b2d5801f31034"},"schema_version":"1.0"},"canonical_sha256":"2f45347d47e5f60848ef4d98cef7d4d14a2cc7c66edff0fdbe0eeeccee3217ea","source":{"kind":"arxiv","id":"1703.02195","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.02195","created_at":"2026-05-18T00:49:20Z"},{"alias_kind":"arxiv_version","alias_value":"1703.02195v1","created_at":"2026-05-18T00:49:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.02195","created_at":"2026-05-18T00:49:20Z"},{"alias_kind":"pith_short_12","alias_value":"F5CTI7KH4X3A","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_16","alias_value":"F5CTI7KH4X3AQSHP","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_8","alias_value":"F5CTI7KH","created_at":"2026-05-18T12:31:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:F5CTI7KH4X3AQSHPJWMM556U2F","target":"record","payload":{"canonical_record":{"source":{"id":"1703.02195","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-03-07T03:16:07Z","cross_cats_sorted":[],"title_canon_sha256":"2d7d289a4dea5a9891db6b3746a156f933a2595008f652b57be5e35c534881f5","abstract_canon_sha256":"54d2f4c5509a66e9323d54003474b711379653773f314b42be2b2d5801f31034"},"schema_version":"1.0"},"canonical_sha256":"2f45347d47e5f60848ef4d98cef7d4d14a2cc7c66edff0fdbe0eeeccee3217ea","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:49:20.522995Z","signature_b64":"N9YnAtkd0RxAYbPUXU7CDFedc0IgrD8edaHlIxjDsW+OxtlBmUyAEYDjT4vi5FgJSFhCrQgOlUFQT4O6DEuXDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2f45347d47e5f60848ef4d98cef7d4d14a2cc7c66edff0fdbe0eeeccee3217ea","last_reissued_at":"2026-05-18T00:49:20.522568Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:49:20.522568Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1703.02195","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-18T00:49:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2SLy2jvE172CW7DUURtWVhqehIHIoC8Lveu6n9ozDv1akuKz4e/KFkhdftdjKEc83t+HGWRCu+8YRiZ3pmLYAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-02T10:05:19.819683Z"},"content_sha256":"7037db724c842b434a0fa70d58f81caaf8b20ce34a6f8b181bebcef116694004","schema_version":"1.0","event_id":"sha256:7037db724c842b434a0fa70d58f81caaf8b20ce34a6f8b181bebcef116694004"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:F5CTI7KH4X3AQSHPJWMM556U2F","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Temporal Justification Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Institute for Research in Fundamental Sciences (IPM)), Meghdad Ghari (School of Mathematics, Samuel Bucheli (Z\\\"uhlke Engineering AG), Thomas Studer (University of Bern)","submitted_at":"2017-03-07T03:16:07Z","abstract_excerpt":"Justification logics are modal-like logics with the additional capability of recording the reason, or justification, for modalities in syntactic structures, called justification terms.  Justification logics can be seen as explicit counterparts to modal logics. The behavior and interaction of agents in distributed system is often modeled using logics of knowledge and time. In this paper, we sketch some preliminary ideas on how the modal knowledge part of such logics of knowledge and time could be replaced with an appropriate justification logic."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.02195","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-18T00:49:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"abd3FIwvxQDOrmnxI9X/zyFpkBIMgIYlA8AICOIyZchuWziarrUNYHy+lJShI7Apx40PIks4NAUN6ZfYM05eBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-02T10:05:19.820013Z"},"content_sha256":"1964a78560d0b758720bd2976104b616ba4893f9e736fcd71490604fc001dd50","schema_version":"1.0","event_id":"sha256:1964a78560d0b758720bd2976104b616ba4893f9e736fcd71490604fc001dd50"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/F5CTI7KH4X3AQSHPJWMM556U2F/bundle.json","state_url":"https://pith.science/pith/F5CTI7KH4X3AQSHPJWMM556U2F/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/F5CTI7KH4X3AQSHPJWMM556U2F/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-07-02T10:05:19Z","links":{"resolver":"https://pith.science/pith/F5CTI7KH4X3AQSHPJWMM556U2F","bundle":"https://pith.science/pith/F5CTI7KH4X3AQSHPJWMM556U2F/bundle.json","state":"https://pith.science/pith/F5CTI7KH4X3AQSHPJWMM556U2F/state.json","well_known_bundle":"https://pith.science/.well-known/pith/F5CTI7KH4X3AQSHPJWMM556U2F/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:F5CTI7KH4X3AQSHPJWMM556U2F","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":"54d2f4c5509a66e9323d54003474b711379653773f314b42be2b2d5801f31034","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-03-07T03:16:07Z","title_canon_sha256":"2d7d289a4dea5a9891db6b3746a156f933a2595008f652b57be5e35c534881f5"},"schema_version":"1.0","source":{"id":"1703.02195","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.02195","created_at":"2026-05-18T00:49:20Z"},{"alias_kind":"arxiv_version","alias_value":"1703.02195v1","created_at":"2026-05-18T00:49:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.02195","created_at":"2026-05-18T00:49:20Z"},{"alias_kind":"pith_short_12","alias_value":"F5CTI7KH4X3A","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_16","alias_value":"F5CTI7KH4X3AQSHP","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_8","alias_value":"F5CTI7KH","created_at":"2026-05-18T12:31:15Z"}],"graph_snapshots":[{"event_id":"sha256:1964a78560d0b758720bd2976104b616ba4893f9e736fcd71490604fc001dd50","target":"graph","created_at":"2026-05-18T00:49:20Z","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":"Justification logics are modal-like logics with the additional capability of recording the reason, or justification, for modalities in syntactic structures, called justification terms.  Justification logics can be seen as explicit counterparts to modal logics. The behavior and interaction of agents in distributed system is often modeled using logics of knowledge and time. In this paper, we sketch some preliminary ideas on how the modal knowledge part of such logics of knowledge and time could be replaced with an appropriate justification logic.","authors_text":"Institute for Research in Fundamental Sciences (IPM)), Meghdad Ghari (School of Mathematics, Samuel Bucheli (Z\\\"uhlke Engineering AG), Thomas Studer (University of Bern)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-03-07T03:16:07Z","title":"Temporal Justification Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.02195","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:7037db724c842b434a0fa70d58f81caaf8b20ce34a6f8b181bebcef116694004","target":"record","created_at":"2026-05-18T00:49:20Z","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":"54d2f4c5509a66e9323d54003474b711379653773f314b42be2b2d5801f31034","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-03-07T03:16:07Z","title_canon_sha256":"2d7d289a4dea5a9891db6b3746a156f933a2595008f652b57be5e35c534881f5"},"schema_version":"1.0","source":{"id":"1703.02195","kind":"arxiv","version":1}},"canonical_sha256":"2f45347d47e5f60848ef4d98cef7d4d14a2cc7c66edff0fdbe0eeeccee3217ea","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2f45347d47e5f60848ef4d98cef7d4d14a2cc7c66edff0fdbe0eeeccee3217ea","first_computed_at":"2026-05-18T00:49:20.522568Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:49:20.522568Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"N9YnAtkd0RxAYbPUXU7CDFedc0IgrD8edaHlIxjDsW+OxtlBmUyAEYDjT4vi5FgJSFhCrQgOlUFQT4O6DEuXDA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:49:20.522995Z","signed_message":"canonical_sha256_bytes"},"source_id":"1703.02195","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7037db724c842b434a0fa70d58f81caaf8b20ce34a6f8b181bebcef116694004","sha256:1964a78560d0b758720bd2976104b616ba4893f9e736fcd71490604fc001dd50"],"state_sha256":"d66cb57848f4783c3697ba3f7d77b58a8f501c9b1c71c59988d09a50f1665cbd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BYlrsdq31T4R9xfK7na+CmF6c1JFWASXNghgHfcDjSqHC3fjdUA9NXc/Qz1YKzTCajyhZhdh4x1GBdlMJoSaDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-02T10:05:19.821842Z","bundle_sha256":"39fad8218acbf30179076b40b20ce3b90ab5b009ff91797038a8898b18a93d1b"}}