{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:3OIRUZJ5SJQYOYPJMUMF5AXFYG","short_pith_number":"pith:3OIRUZJ5","canonical_record":{"source":{"id":"2306.13903","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.LO","submitted_at":"2023-06-24T08:42:44Z","cross_cats_sorted":["cs.CC"],"title_canon_sha256":"8d1b97a65ae3c94616261d0b16f3c589bdd68d8206a4fcdcf1325555075edcae","abstract_canon_sha256":"b7fdbecea8ed026e1cb7e8f815807eafdd0d169147ecd0620a9c0091666ad611"},"schema_version":"1.0"},"canonical_sha256":"db911a653d92618761e965185e82e5c1adb91aea544f27f5cd007e2938aa9a20","source":{"kind":"arxiv","id":"2306.13903","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2306.13903","created_at":"2026-05-17T23:39:05Z"},{"alias_kind":"arxiv_version","alias_value":"2306.13903v3","created_at":"2026-05-17T23:39:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2306.13903","created_at":"2026-05-17T23:39:05Z"},{"alias_kind":"pith_short_12","alias_value":"3OIRUZJ5SJQY","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_16","alias_value":"3OIRUZJ5SJQYOYPJ","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_8","alias_value":"3OIRUZJ5","created_at":"2026-05-18T12:33:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:3OIRUZJ5SJQYOYPJMUMF5AXFYG","target":"record","payload":{"canonical_record":{"source":{"id":"2306.13903","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.LO","submitted_at":"2023-06-24T08:42:44Z","cross_cats_sorted":["cs.CC"],"title_canon_sha256":"8d1b97a65ae3c94616261d0b16f3c589bdd68d8206a4fcdcf1325555075edcae","abstract_canon_sha256":"b7fdbecea8ed026e1cb7e8f815807eafdd0d169147ecd0620a9c0091666ad611"},"schema_version":"1.0"},"canonical_sha256":"db911a653d92618761e965185e82e5c1adb91aea544f27f5cd007e2938aa9a20","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:39:05.060223Z","signature_b64":"ncAlFEh6iJg1k4tIpOtfj7FEOxz63MBdwYc3WXNjaAZ/7IX8eeLo3HA7mM+q0lww2mxL4K3Haw4pr+rsyb8hBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"db911a653d92618761e965185e82e5c1adb91aea544f27f5cd007e2938aa9a20","last_reissued_at":"2026-05-17T23:39:05.059514Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:39:05.059514Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2306.13903","source_version":3,"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:39:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"I69JdghDpt25s53oyAsyKKC8xEYGXErlB9OHujoicDkMooWJKRB51Z519y+FVTGHbV1UUu/DKOXLZtRv4DmyDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-24T17:26:33.206014Z"},"content_sha256":"642e2f300730e7fda6e01a5fac80a8290528accf3634d2e598814c1a161dc837","schema_version":"1.0","event_id":"sha256:642e2f300730e7fda6e01a5fac80a8290528accf3634d2e598814c1a161dc837"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:3OIRUZJ5SJQYOYPJMUMF5AXFYG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the local consequence of modal Product logic: standard completeness and decidability","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.CC"],"primary_cat":"math.LO","authors_text":"Amanda Vidal","submitted_at":"2023-06-24T08:42:44Z","abstract_excerpt":"We study local consequence relations in modal extensions of product logic over Kripke models with either valued (fuzzy) or crisp accessibility relations. In both settings, we consider semantics over the full class of product algebras as well as over the standard product algebra on $[0,1]$.\n  Our main result is a constructive reduction of these modal logics to propositional product logic. As consequences, we prove that all the resulting systems are decidable and standard complete, i.e., the local consequence relation over all product algebras coincides with the one induced by the standard produ"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2306.13903","kind":"arxiv","version":3},"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:39:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"e7Rv2lrBYoBcxqr/bYIxH9IVnMXa/g9o+t9OZ/dkdo8jQzKpEOYQgLnISgw385DDHC2E9TrP0gVx6pVkde+FDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-24T17:26:33.206575Z"},"content_sha256":"489e2d12ba6ae87766a6884e3e8372c6b4890d10eaa9c36693570a0f154d3b6d","schema_version":"1.0","event_id":"sha256:489e2d12ba6ae87766a6884e3e8372c6b4890d10eaa9c36693570a0f154d3b6d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3OIRUZJ5SJQYOYPJMUMF5AXFYG/bundle.json","state_url":"https://pith.science/pith/3OIRUZJ5SJQYOYPJMUMF5AXFYG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3OIRUZJ5SJQYOYPJMUMF5AXFYG/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-24T17:26:33Z","links":{"resolver":"https://pith.science/pith/3OIRUZJ5SJQYOYPJMUMF5AXFYG","bundle":"https://pith.science/pith/3OIRUZJ5SJQYOYPJMUMF5AXFYG/bundle.json","state":"https://pith.science/pith/3OIRUZJ5SJQYOYPJMUMF5AXFYG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3OIRUZJ5SJQYOYPJMUMF5AXFYG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:3OIRUZJ5SJQYOYPJMUMF5AXFYG","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":"b7fdbecea8ed026e1cb7e8f815807eafdd0d169147ecd0620a9c0091666ad611","cross_cats_sorted":["cs.CC"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.LO","submitted_at":"2023-06-24T08:42:44Z","title_canon_sha256":"8d1b97a65ae3c94616261d0b16f3c589bdd68d8206a4fcdcf1325555075edcae"},"schema_version":"1.0","source":{"id":"2306.13903","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2306.13903","created_at":"2026-05-17T23:39:05Z"},{"alias_kind":"arxiv_version","alias_value":"2306.13903v3","created_at":"2026-05-17T23:39:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2306.13903","created_at":"2026-05-17T23:39:05Z"},{"alias_kind":"pith_short_12","alias_value":"3OIRUZJ5SJQY","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_16","alias_value":"3OIRUZJ5SJQYOYPJ","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_8","alias_value":"3OIRUZJ5","created_at":"2026-05-18T12:33:33Z"}],"graph_snapshots":[{"event_id":"sha256:489e2d12ba6ae87766a6884e3e8372c6b4890d10eaa9c36693570a0f154d3b6d","target":"graph","created_at":"2026-05-17T23:39:05Z","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 study local consequence relations in modal extensions of product logic over Kripke models with either valued (fuzzy) or crisp accessibility relations. In both settings, we consider semantics over the full class of product algebras as well as over the standard product algebra on $[0,1]$.\n  Our main result is a constructive reduction of these modal logics to propositional product logic. As consequences, we prove that all the resulting systems are decidable and standard complete, i.e., the local consequence relation over all product algebras coincides with the one induced by the standard produ","authors_text":"Amanda Vidal","cross_cats":["cs.CC"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.LO","submitted_at":"2023-06-24T08:42:44Z","title":"On the local consequence of modal Product logic: standard completeness and decidability"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2306.13903","kind":"arxiv","version":3},"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:642e2f300730e7fda6e01a5fac80a8290528accf3634d2e598814c1a161dc837","target":"record","created_at":"2026-05-17T23:39:05Z","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":"b7fdbecea8ed026e1cb7e8f815807eafdd0d169147ecd0620a9c0091666ad611","cross_cats_sorted":["cs.CC"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.LO","submitted_at":"2023-06-24T08:42:44Z","title_canon_sha256":"8d1b97a65ae3c94616261d0b16f3c589bdd68d8206a4fcdcf1325555075edcae"},"schema_version":"1.0","source":{"id":"2306.13903","kind":"arxiv","version":3}},"canonical_sha256":"db911a653d92618761e965185e82e5c1adb91aea544f27f5cd007e2938aa9a20","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"db911a653d92618761e965185e82e5c1adb91aea544f27f5cd007e2938aa9a20","first_computed_at":"2026-05-17T23:39:05.059514Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:39:05.059514Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ncAlFEh6iJg1k4tIpOtfj7FEOxz63MBdwYc3WXNjaAZ/7IX8eeLo3HA7mM+q0lww2mxL4K3Haw4pr+rsyb8hBw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:39:05.060223Z","signed_message":"canonical_sha256_bytes"},"source_id":"2306.13903","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:642e2f300730e7fda6e01a5fac80a8290528accf3634d2e598814c1a161dc837","sha256:489e2d12ba6ae87766a6884e3e8372c6b4890d10eaa9c36693570a0f154d3b6d"],"state_sha256":"fed10aa1d1a7db2d10493eac51bf064c8f81dac677cfeeee8dc5364669bda4d2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AtKG8jR4UrSCGIsaQ1FcQj5OogoMaGV2tecvAzcJgRSGDtyMGecLn5IVbYVlYz808nO45cToR7yQ0Skjz8OHDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-24T17:26:33.210098Z","bundle_sha256":"eea443dd27ecd89e55a87e7e30a3eb3ebf5ef34f44772320fa946a0323b6af13"}}