{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:TTUPXHDGOYHGWICLRCSAG6CAMK","short_pith_number":"pith:TTUPXHDG","canonical_record":{"source":{"id":"1904.01407","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2019-04-02T13:42:42Z","cross_cats_sorted":[],"title_canon_sha256":"76f1afabdfc3d00fe40f571df76c78d84135466896718ec234014adefe5be273","abstract_canon_sha256":"8d79cd2f15a9cdc4fdbba238d98c1ebdce418b00ce72c3e8a029f256da4952c4"},"schema_version":"1.0"},"canonical_sha256":"9ce8fb9c66760e6b204b88a40378406291f6330a00348ead0b3a872d2c94372e","source":{"kind":"arxiv","id":"1904.01407","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.01407","created_at":"2026-05-17T23:49:34Z"},{"alias_kind":"arxiv_version","alias_value":"1904.01407v1","created_at":"2026-05-17T23:49:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.01407","created_at":"2026-05-17T23:49:34Z"},{"alias_kind":"pith_short_12","alias_value":"TTUPXHDGOYHG","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"TTUPXHDGOYHGWICL","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"TTUPXHDG","created_at":"2026-05-18T12:33:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:TTUPXHDGOYHGWICLRCSAG6CAMK","target":"record","payload":{"canonical_record":{"source":{"id":"1904.01407","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2019-04-02T13:42:42Z","cross_cats_sorted":[],"title_canon_sha256":"76f1afabdfc3d00fe40f571df76c78d84135466896718ec234014adefe5be273","abstract_canon_sha256":"8d79cd2f15a9cdc4fdbba238d98c1ebdce418b00ce72c3e8a029f256da4952c4"},"schema_version":"1.0"},"canonical_sha256":"9ce8fb9c66760e6b204b88a40378406291f6330a00348ead0b3a872d2c94372e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:49:34.738861Z","signature_b64":"+MzqbyHPntCobB6pDw0nD8J93NM4ahvic3heUf229m7tPdVMlHSvwrdy5ILDPWNSVCVlPH6x9zjJ4FXLp7T3Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9ce8fb9c66760e6b204b88a40378406291f6330a00348ead0b3a872d2c94372e","last_reissued_at":"2026-05-17T23:49:34.738253Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:49:34.738253Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1904.01407","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:49:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"e77+tDF69SXErk7RmcUl6yHakDM7SZM/lYNBoyqQ/PKsGzFSU9u92WqkFt6lMSKAzqzi5l09xq4FmXkkXeJzBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T10:57:57.349504Z"},"content_sha256":"66660e1f77fd2471265bd91d6fcf661edbc77e002e72a1919f17b97ed816ee61","schema_version":"1.0","event_id":"sha256:66660e1f77fd2471265bd91d6fcf661edbc77e002e72a1919f17b97ed816ee61"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:TTUPXHDGOYHGWICLRCSAG6CAMK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On Transitive modal many-valued logics","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Amanda Vidal","submitted_at":"2019-04-02T13:42:42Z","abstract_excerpt":"This paper is focused on the study of modal logics defined from valued Kripke frames, and particularly, on computability and expressibility questions of modal logics of transitive Kripke frames evaluated over certain residuated lattices. It is shown that a large family of those logics -- including the ones arising from the standard MV and Product algebras -- yields an undecidable consequence relation. Later on, the behaviour of transitive modal Lukasiewicz logic is compared with that of its non transitive counterpart, exhibiting some particulars concerning computability and equivalence with ot"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.01407","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:49:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yeO3sc4WeExCgWzT7l8qfaoDNVPwHMa2g/MLDdIM4xIAH4f1wRaFnpZWp+6zksfZXmlXbBDdQQrW1SITNrmMDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T10:57:57.350076Z"},"content_sha256":"02f4f7123f866ddacf48262a663d62aebb594b5a4e9baf93c014b1ccd8621325","schema_version":"1.0","event_id":"sha256:02f4f7123f866ddacf48262a663d62aebb594b5a4e9baf93c014b1ccd8621325"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TTUPXHDGOYHGWICLRCSAG6CAMK/bundle.json","state_url":"https://pith.science/pith/TTUPXHDGOYHGWICLRCSAG6CAMK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TTUPXHDGOYHGWICLRCSAG6CAMK/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-25T10:57:57Z","links":{"resolver":"https://pith.science/pith/TTUPXHDGOYHGWICLRCSAG6CAMK","bundle":"https://pith.science/pith/TTUPXHDGOYHGWICLRCSAG6CAMK/bundle.json","state":"https://pith.science/pith/TTUPXHDGOYHGWICLRCSAG6CAMK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TTUPXHDGOYHGWICLRCSAG6CAMK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:TTUPXHDGOYHGWICLRCSAG6CAMK","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":"8d79cd2f15a9cdc4fdbba238d98c1ebdce418b00ce72c3e8a029f256da4952c4","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2019-04-02T13:42:42Z","title_canon_sha256":"76f1afabdfc3d00fe40f571df76c78d84135466896718ec234014adefe5be273"},"schema_version":"1.0","source":{"id":"1904.01407","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.01407","created_at":"2026-05-17T23:49:34Z"},{"alias_kind":"arxiv_version","alias_value":"1904.01407v1","created_at":"2026-05-17T23:49:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.01407","created_at":"2026-05-17T23:49:34Z"},{"alias_kind":"pith_short_12","alias_value":"TTUPXHDGOYHG","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"TTUPXHDGOYHGWICL","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"TTUPXHDG","created_at":"2026-05-18T12:33:30Z"}],"graph_snapshots":[{"event_id":"sha256:02f4f7123f866ddacf48262a663d62aebb594b5a4e9baf93c014b1ccd8621325","target":"graph","created_at":"2026-05-17T23:49:34Z","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":"This paper is focused on the study of modal logics defined from valued Kripke frames, and particularly, on computability and expressibility questions of modal logics of transitive Kripke frames evaluated over certain residuated lattices. It is shown that a large family of those logics -- including the ones arising from the standard MV and Product algebras -- yields an undecidable consequence relation. Later on, the behaviour of transitive modal Lukasiewicz logic is compared with that of its non transitive counterpart, exhibiting some particulars concerning computability and equivalence with ot","authors_text":"Amanda Vidal","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2019-04-02T13:42:42Z","title":"On Transitive modal many-valued logics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.01407","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:66660e1f77fd2471265bd91d6fcf661edbc77e002e72a1919f17b97ed816ee61","target":"record","created_at":"2026-05-17T23:49:34Z","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":"8d79cd2f15a9cdc4fdbba238d98c1ebdce418b00ce72c3e8a029f256da4952c4","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2019-04-02T13:42:42Z","title_canon_sha256":"76f1afabdfc3d00fe40f571df76c78d84135466896718ec234014adefe5be273"},"schema_version":"1.0","source":{"id":"1904.01407","kind":"arxiv","version":1}},"canonical_sha256":"9ce8fb9c66760e6b204b88a40378406291f6330a00348ead0b3a872d2c94372e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9ce8fb9c66760e6b204b88a40378406291f6330a00348ead0b3a872d2c94372e","first_computed_at":"2026-05-17T23:49:34.738253Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:49:34.738253Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+MzqbyHPntCobB6pDw0nD8J93NM4ahvic3heUf229m7tPdVMlHSvwrdy5ILDPWNSVCVlPH6x9zjJ4FXLp7T3Dg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:49:34.738861Z","signed_message":"canonical_sha256_bytes"},"source_id":"1904.01407","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:66660e1f77fd2471265bd91d6fcf661edbc77e002e72a1919f17b97ed816ee61","sha256:02f4f7123f866ddacf48262a663d62aebb594b5a4e9baf93c014b1ccd8621325"],"state_sha256":"bee512db01aa2f110b2ebdb8cf9914101dc74ad024a225dc346f081d845a327d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Z9sqcGRdcb6JKy9YqRy6jZ2TdJZ24fS71u/PPfCemZXOT1pIgPWXsUn4k9woWNOFcbxeOMXvxLHyVBNJp5zcBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T10:57:57.353376Z","bundle_sha256":"b7f9946aef246750889dcdeb5bc8957609ea1f72934f66b40a475f9ead56c710"}}