{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:6KLX6R5VQ3J7TYCYU2ANPLTKF3","short_pith_number":"pith:6KLX6R5V","canonical_record":{"source":{"id":"1904.10605","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2019-04-24T02:02:43Z","cross_cats_sorted":[],"title_canon_sha256":"8638ebd7b5cdb6d5b476e01109dd16b054349934e8563bc547f9ff10c6c18c18","abstract_canon_sha256":"7ba5a831f8143e2c7a3034605ec8f38596452e4e7ceb4b0a768f72e46b15666c"},"schema_version":"1.0"},"canonical_sha256":"f2977f47b586d3f9e058a680d7ae6a2ef82a9e5cefe48d262f978bc49c5b5ea4","source":{"kind":"arxiv","id":"1904.10605","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.10605","created_at":"2026-05-17T23:47:53Z"},{"alias_kind":"arxiv_version","alias_value":"1904.10605v1","created_at":"2026-05-17T23:47:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.10605","created_at":"2026-05-17T23:47:53Z"},{"alias_kind":"pith_short_12","alias_value":"6KLX6R5VQ3J7","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"6KLX6R5VQ3J7TYCY","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"6KLX6R5V","created_at":"2026-05-18T12:33:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:6KLX6R5VQ3J7TYCYU2ANPLTKF3","target":"record","payload":{"canonical_record":{"source":{"id":"1904.10605","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2019-04-24T02:02:43Z","cross_cats_sorted":[],"title_canon_sha256":"8638ebd7b5cdb6d5b476e01109dd16b054349934e8563bc547f9ff10c6c18c18","abstract_canon_sha256":"7ba5a831f8143e2c7a3034605ec8f38596452e4e7ceb4b0a768f72e46b15666c"},"schema_version":"1.0"},"canonical_sha256":"f2977f47b586d3f9e058a680d7ae6a2ef82a9e5cefe48d262f978bc49c5b5ea4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:47:53.273987Z","signature_b64":"6QuoF4PC3mguUCbCjF53DdQu+jSrQHTWZMZ2FI2hurJoQ+LibVCBWBE6Rz3TIT4PodjhNq/g9Oh5J8xP1UqRDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f2977f47b586d3f9e058a680d7ae6a2ef82a9e5cefe48d262f978bc49c5b5ea4","last_reissued_at":"2026-05-17T23:47:53.273583Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:47:53.273583Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1904.10605","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-17T23:47:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Lh4tTGZKs2WkadboLPX1WA5W4TK1vD4na83eBa7nj+n1/DrDNMNnI9/QgD1BydoMouug3yMVVLt91qgTZNxoAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-21T16:46:25.483813Z"},"content_sha256":"e442f1096119fe6ce434d905fcf56b47fd914477d831746d023e96daa74bcba8","schema_version":"1.0","event_id":"sha256:e442f1096119fe6ce434d905fcf56b47fd914477d831746d023e96daa74bcba8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:6KLX6R5VQ3J7TYCYU2ANPLTKF3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Linear-logical Reconstruction of Intuitionistic Modal Logic S4","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Akira Yoshimizu, Yosuke Fukuda","submitted_at":"2019-04-24T02:02:43Z","abstract_excerpt":"We propose a \"modal linear logic\" to reformulate intuitionistic modal logic S4 (IS4) in terms of linear logic, establishing an S4-version of Girard translation from IS4 to it. While the Girard translation from intuitionistic logic to linear logic is well-known, its extension to modal logic is non-trivial since a naive combination of the S4 modality and the exponential modality causes an undesirable interaction between the two modalities. To solve the problem, we introduce an extension of intuitionistic multiplicative exponential linear logic with a modality combining the S4 modality and the ex"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.10605","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-17T23:47:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LszS5eX/FaXG+bQjmj9kgzjWqePgA+1jYiliJPfv/Wqagd/ncLP8E0U8u/nW7sOZOsw6N7LPI0B+YaBdQQdjBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-21T16:46:25.484267Z"},"content_sha256":"b534d9ceeba6c42f60db44eb916aa5077fd3538c17ee62a05cebec967ffd716c","schema_version":"1.0","event_id":"sha256:b534d9ceeba6c42f60db44eb916aa5077fd3538c17ee62a05cebec967ffd716c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6KLX6R5VQ3J7TYCYU2ANPLTKF3/bundle.json","state_url":"https://pith.science/pith/6KLX6R5VQ3J7TYCYU2ANPLTKF3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6KLX6R5VQ3J7TYCYU2ANPLTKF3/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-05-21T16:46:25Z","links":{"resolver":"https://pith.science/pith/6KLX6R5VQ3J7TYCYU2ANPLTKF3","bundle":"https://pith.science/pith/6KLX6R5VQ3J7TYCYU2ANPLTKF3/bundle.json","state":"https://pith.science/pith/6KLX6R5VQ3J7TYCYU2ANPLTKF3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6KLX6R5VQ3J7TYCYU2ANPLTKF3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:6KLX6R5VQ3J7TYCYU2ANPLTKF3","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":"7ba5a831f8143e2c7a3034605ec8f38596452e4e7ceb4b0a768f72e46b15666c","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2019-04-24T02:02:43Z","title_canon_sha256":"8638ebd7b5cdb6d5b476e01109dd16b054349934e8563bc547f9ff10c6c18c18"},"schema_version":"1.0","source":{"id":"1904.10605","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.10605","created_at":"2026-05-17T23:47:53Z"},{"alias_kind":"arxiv_version","alias_value":"1904.10605v1","created_at":"2026-05-17T23:47:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.10605","created_at":"2026-05-17T23:47:53Z"},{"alias_kind":"pith_short_12","alias_value":"6KLX6R5VQ3J7","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"6KLX6R5VQ3J7TYCY","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"6KLX6R5V","created_at":"2026-05-18T12:33:10Z"}],"graph_snapshots":[{"event_id":"sha256:b534d9ceeba6c42f60db44eb916aa5077fd3538c17ee62a05cebec967ffd716c","target":"graph","created_at":"2026-05-17T23:47:53Z","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 propose a \"modal linear logic\" to reformulate intuitionistic modal logic S4 (IS4) in terms of linear logic, establishing an S4-version of Girard translation from IS4 to it. While the Girard translation from intuitionistic logic to linear logic is well-known, its extension to modal logic is non-trivial since a naive combination of the S4 modality and the exponential modality causes an undesirable interaction between the two modalities. To solve the problem, we introduce an extension of intuitionistic multiplicative exponential linear logic with a modality combining the S4 modality and the ex","authors_text":"Akira Yoshimizu, Yosuke Fukuda","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2019-04-24T02:02:43Z","title":"A Linear-logical Reconstruction of Intuitionistic Modal Logic S4"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.10605","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:e442f1096119fe6ce434d905fcf56b47fd914477d831746d023e96daa74bcba8","target":"record","created_at":"2026-05-17T23:47:53Z","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":"7ba5a831f8143e2c7a3034605ec8f38596452e4e7ceb4b0a768f72e46b15666c","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2019-04-24T02:02:43Z","title_canon_sha256":"8638ebd7b5cdb6d5b476e01109dd16b054349934e8563bc547f9ff10c6c18c18"},"schema_version":"1.0","source":{"id":"1904.10605","kind":"arxiv","version":1}},"canonical_sha256":"f2977f47b586d3f9e058a680d7ae6a2ef82a9e5cefe48d262f978bc49c5b5ea4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f2977f47b586d3f9e058a680d7ae6a2ef82a9e5cefe48d262f978bc49c5b5ea4","first_computed_at":"2026-05-17T23:47:53.273583Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:47:53.273583Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6QuoF4PC3mguUCbCjF53DdQu+jSrQHTWZMZ2FI2hurJoQ+LibVCBWBE6Rz3TIT4PodjhNq/g9Oh5J8xP1UqRDw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:47:53.273987Z","signed_message":"canonical_sha256_bytes"},"source_id":"1904.10605","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e442f1096119fe6ce434d905fcf56b47fd914477d831746d023e96daa74bcba8","sha256:b534d9ceeba6c42f60db44eb916aa5077fd3538c17ee62a05cebec967ffd716c"],"state_sha256":"4dbaecd5cd09a37e47e45a7f36be017e2902265f7765a93cb37a17207827c305"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TsIev022IKq58ru8bTgguUxusVh0I3LlXcy1MmbDMmWYLu5XtqDgHioXJ4VSA6HisdRlt96BhVr7YWPJXMIgAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-21T16:46:25.486650Z","bundle_sha256":"bd91280e2b777768fb89a7c4522a572554f0762b67264ebc30ca5f1657013e7b"}}