{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:6YTFHBFEKZWSODSEA2UVNTO5GQ","short_pith_number":"pith:6YTFHBFE","canonical_record":{"source":{"id":"2109.02334","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2021-09-06T10:11:33Z","cross_cats_sorted":[],"title_canon_sha256":"44bfc54a026cc44617d71cc95a33494aead7e1d5d30df4c6dc3834982e98b94d","abstract_canon_sha256":"16136d4cb52768d1cb33130cd3f281ad1f5bba5913d639bbd3a8108755579730"},"schema_version":"1.0"},"canonical_sha256":"f6265384a4566d270e4406a956cddd3417b75b48718c2c68a82be89cb8740f91","source":{"kind":"arxiv","id":"2109.02334","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2109.02334","created_at":"2026-07-05T03:11:41Z"},{"alias_kind":"arxiv_version","alias_value":"2109.02334v1","created_at":"2026-07-05T03:11:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2109.02334","created_at":"2026-07-05T03:11:41Z"},{"alias_kind":"pith_short_12","alias_value":"6YTFHBFEKZWS","created_at":"2026-07-05T03:11:41Z"},{"alias_kind":"pith_short_16","alias_value":"6YTFHBFEKZWSODSE","created_at":"2026-07-05T03:11:41Z"},{"alias_kind":"pith_short_8","alias_value":"6YTFHBFE","created_at":"2026-07-05T03:11:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:6YTFHBFEKZWSODSEA2UVNTO5GQ","target":"record","payload":{"canonical_record":{"source":{"id":"2109.02334","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2021-09-06T10:11:33Z","cross_cats_sorted":[],"title_canon_sha256":"44bfc54a026cc44617d71cc95a33494aead7e1d5d30df4c6dc3834982e98b94d","abstract_canon_sha256":"16136d4cb52768d1cb33130cd3f281ad1f5bba5913d639bbd3a8108755579730"},"schema_version":"1.0"},"canonical_sha256":"f6265384a4566d270e4406a956cddd3417b75b48718c2c68a82be89cb8740f91","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:11:41.299995Z","signature_b64":"ypD4+2Bv22AsilcZrUcYawtkqPG9KqDD6aNcLoUILbsybMUvm7ZHQUXfML5/ABobNi2ckg7l2cvsbKMnye8YBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f6265384a4566d270e4406a956cddd3417b75b48718c2c68a82be89cb8740f91","last_reissued_at":"2026-07-05T03:11:41.299581Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:11:41.299581Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2109.02334","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-07-05T03:11:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"q89/uUduiH0a/dZdZsmTHSx3Pcz+9IT5hixKsF7RNQ4pDoPV+asqjlgnjv1FWtURqtDqZHUCgcdXIx5/iPoMAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T16:16:52.621696Z"},"content_sha256":"78d32e5571d07c2609a695a98665b30b2b325cfa976423bbbde2e1357f4fb0c4","schema_version":"1.0","event_id":"sha256:78d32e5571d07c2609a695a98665b30b2b325cfa976423bbbde2e1357f4fb0c4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:6YTFHBFEKZWSODSEA2UVNTO5GQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Characterizing Crisp Simulations and Crisp Directed Simulations between Fuzzy Labeled Transition Systems by Using Fuzzy Modal Logics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Linh Anh Nguyen, Ngoc-Thanh Nguyen","submitted_at":"2021-09-06T10:11:33Z","abstract_excerpt":"We formulate and prove logical characterizations of crisp simulations and crisp directed simulations between fuzzy labeled transition systems with respect to fuzzy modal logics that use a general t-norm-based semantics. The considered logics are fragments of the fuzzy propositional dynamic logic with the Baaz projection operator. The logical characterizations concern preservation of positive existential (respectively, positive) modal formulas under crisp simulations (respectively, crisp directed simulations), as well as the Hennessy-Milner property of such simulations."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2109.02334","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2109.02334/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T03:11:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"edfZQPcxQ0F5PAGI7hmcAYqwBj8WAn3IBL05MBIjnEAX8HaHvB44WgmoSp5r+JJWEVK5/kKzpV2nPj7d9BHiAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T16:16:52.622075Z"},"content_sha256":"f96966aa77b75155a63cc63800b91adbc62910a6b67818fa929acea55d82f360","schema_version":"1.0","event_id":"sha256:f96966aa77b75155a63cc63800b91adbc62910a6b67818fa929acea55d82f360"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6YTFHBFEKZWSODSEA2UVNTO5GQ/bundle.json","state_url":"https://pith.science/pith/6YTFHBFEKZWSODSEA2UVNTO5GQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6YTFHBFEKZWSODSEA2UVNTO5GQ/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-06T16:16:52Z","links":{"resolver":"https://pith.science/pith/6YTFHBFEKZWSODSEA2UVNTO5GQ","bundle":"https://pith.science/pith/6YTFHBFEKZWSODSEA2UVNTO5GQ/bundle.json","state":"https://pith.science/pith/6YTFHBFEKZWSODSEA2UVNTO5GQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6YTFHBFEKZWSODSEA2UVNTO5GQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:6YTFHBFEKZWSODSEA2UVNTO5GQ","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":"16136d4cb52768d1cb33130cd3f281ad1f5bba5913d639bbd3a8108755579730","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2021-09-06T10:11:33Z","title_canon_sha256":"44bfc54a026cc44617d71cc95a33494aead7e1d5d30df4c6dc3834982e98b94d"},"schema_version":"1.0","source":{"id":"2109.02334","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2109.02334","created_at":"2026-07-05T03:11:41Z"},{"alias_kind":"arxiv_version","alias_value":"2109.02334v1","created_at":"2026-07-05T03:11:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2109.02334","created_at":"2026-07-05T03:11:41Z"},{"alias_kind":"pith_short_12","alias_value":"6YTFHBFEKZWS","created_at":"2026-07-05T03:11:41Z"},{"alias_kind":"pith_short_16","alias_value":"6YTFHBFEKZWSODSE","created_at":"2026-07-05T03:11:41Z"},{"alias_kind":"pith_short_8","alias_value":"6YTFHBFE","created_at":"2026-07-05T03:11:41Z"}],"graph_snapshots":[{"event_id":"sha256:f96966aa77b75155a63cc63800b91adbc62910a6b67818fa929acea55d82f360","target":"graph","created_at":"2026-07-05T03:11:41Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2109.02334/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We formulate and prove logical characterizations of crisp simulations and crisp directed simulations between fuzzy labeled transition systems with respect to fuzzy modal logics that use a general t-norm-based semantics. The considered logics are fragments of the fuzzy propositional dynamic logic with the Baaz projection operator. The logical characterizations concern preservation of positive existential (respectively, positive) modal formulas under crisp simulations (respectively, crisp directed simulations), as well as the Hennessy-Milner property of such simulations.","authors_text":"Linh Anh Nguyen, Ngoc-Thanh Nguyen","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2021-09-06T10:11:33Z","title":"Characterizing Crisp Simulations and Crisp Directed Simulations between Fuzzy Labeled Transition Systems by Using Fuzzy Modal Logics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2109.02334","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:78d32e5571d07c2609a695a98665b30b2b325cfa976423bbbde2e1357f4fb0c4","target":"record","created_at":"2026-07-05T03:11:41Z","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":"16136d4cb52768d1cb33130cd3f281ad1f5bba5913d639bbd3a8108755579730","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2021-09-06T10:11:33Z","title_canon_sha256":"44bfc54a026cc44617d71cc95a33494aead7e1d5d30df4c6dc3834982e98b94d"},"schema_version":"1.0","source":{"id":"2109.02334","kind":"arxiv","version":1}},"canonical_sha256":"f6265384a4566d270e4406a956cddd3417b75b48718c2c68a82be89cb8740f91","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f6265384a4566d270e4406a956cddd3417b75b48718c2c68a82be89cb8740f91","first_computed_at":"2026-07-05T03:11:41.299581Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:11:41.299581Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ypD4+2Bv22AsilcZrUcYawtkqPG9KqDD6aNcLoUILbsybMUvm7ZHQUXfML5/ABobNi2ckg7l2cvsbKMnye8YBA==","signature_status":"signed_v1","signed_at":"2026-07-05T03:11:41.299995Z","signed_message":"canonical_sha256_bytes"},"source_id":"2109.02334","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:78d32e5571d07c2609a695a98665b30b2b325cfa976423bbbde2e1357f4fb0c4","sha256:f96966aa77b75155a63cc63800b91adbc62910a6b67818fa929acea55d82f360"],"state_sha256":"1790f49f3bfe1b014d4ce1c93d70e366d213d540dfa52869120cbb13e9637374"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"c5Uw9yQeVDWvT9xXMKM/JKZSiXh2HeIhbhWfkjLl4rvMPhGHoxpsMljk0t2nhU01/t0zqsqiv31hMkc+WwEiCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T16:16:52.623964Z","bundle_sha256":"07839cc36223b0e613dce4c40b599769ab6ec6cd3b94a216e147c13b7975c0a8"}}