{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:TYF7ZS7WYM74HEQIR5KBXBOIJU","short_pith_number":"pith:TYF7ZS7W","canonical_record":{"source":{"id":"2307.05049","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2023-07-11T06:57:42Z","cross_cats_sorted":[],"title_canon_sha256":"0661dbecdfff73a54593572edd5c05eb5c4a34cc7ec11e91248b5fbda753e29c","abstract_canon_sha256":"458aff258758998b1b2e883ecf4684a3b208387be89bfb607ab06fe3b18fb7bb"},"schema_version":"1.0"},"canonical_sha256":"9e0bfccbf6c33fc392088f541b85c84d0de46cdf2d4882ff3de9bade347bff71","source":{"kind":"arxiv","id":"2307.05049","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2307.05049","created_at":"2026-07-05T06:29:25Z"},{"alias_kind":"arxiv_version","alias_value":"2307.05049v1","created_at":"2026-07-05T06:29:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2307.05049","created_at":"2026-07-05T06:29:25Z"},{"alias_kind":"pith_short_12","alias_value":"TYF7ZS7WYM74","created_at":"2026-07-05T06:29:25Z"},{"alias_kind":"pith_short_16","alias_value":"TYF7ZS7WYM74HEQI","created_at":"2026-07-05T06:29:25Z"},{"alias_kind":"pith_short_8","alias_value":"TYF7ZS7W","created_at":"2026-07-05T06:29:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:TYF7ZS7WYM74HEQIR5KBXBOIJU","target":"record","payload":{"canonical_record":{"source":{"id":"2307.05049","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2023-07-11T06:57:42Z","cross_cats_sorted":[],"title_canon_sha256":"0661dbecdfff73a54593572edd5c05eb5c4a34cc7ec11e91248b5fbda753e29c","abstract_canon_sha256":"458aff258758998b1b2e883ecf4684a3b208387be89bfb607ab06fe3b18fb7bb"},"schema_version":"1.0"},"canonical_sha256":"9e0bfccbf6c33fc392088f541b85c84d0de46cdf2d4882ff3de9bade347bff71","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:29:25.406463Z","signature_b64":"bx+vIKxHm4eiU1EIKhd6GE06WfpHYUP3CVj7Lftx71OaQFDtUYFXsallusv1Ka7SbwTsGgaE4ajYyCucDJTfAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9e0bfccbf6c33fc392088f541b85c84d0de46cdf2d4882ff3de9bade347bff71","last_reissued_at":"2026-07-05T06:29:25.406068Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:29:25.406068Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2307.05049","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-05T06:29:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AmlS/9Ib1AC7/oIML/e7Ga7C2vL3emU4X5E19DJlePYk26PLWnOUHiR5JbvXBA5Qzggn9fReipz5lVaZ6Y63CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T19:51:53.120695Z"},"content_sha256":"0474c02a9dd8cbc39aad682629c9cc3a265c8bebcf7f771fbedacdeb10a52b71","schema_version":"1.0","event_id":"sha256:0474c02a9dd8cbc39aad682629c9cc3a265c8bebcf7f771fbedacdeb10a52b71"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:TYF7ZS7WYM74HEQIR5KBXBOIJU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An Abstract Look at Awareness Models and Their Dynamics","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Antonio Yuste-Ginel (Universidad Complutense de Madrid, Carlo Proietti (ILC, CNR Genova, Fernando R. Vel\\'azquez-Quesada (University of Bergen, Italy), Norway), Spain)","submitted_at":"2023-07-11T06:57:42Z","abstract_excerpt":"This work builds upon a well-established research tradition on modal logics of awareness. One of its aims is to export tools and techniques to other areas within modal logic. To this end, we illustrate a number of significant bridges with abstract argumentation, justification logics, the epistemic logic of knowing-what and deontic logic, where basic notions and definitional concepts can be expressed in terms of the awareness operator combined with the box modality. Furthermore, these conceptual links point to interesting properties of awareness sets beyond those standardly assumed in awareness"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2307.05049","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/2307.05049/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-05T06:29:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kZ2Q/9vQwDRD2TSPOmSRtt+6Gq2Bk8GQwMj0G2bqDwMJgC9UOmfhkm49ObuPmEH0n4e/skVTws1KstB4hQliBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T19:51:53.121200Z"},"content_sha256":"32aaffc329d7cd18e70f1000bba64810fd8ac6195e42a4a5f2212cef0837067c","schema_version":"1.0","event_id":"sha256:32aaffc329d7cd18e70f1000bba64810fd8ac6195e42a4a5f2212cef0837067c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TYF7ZS7WYM74HEQIR5KBXBOIJU/bundle.json","state_url":"https://pith.science/pith/TYF7ZS7WYM74HEQIR5KBXBOIJU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TYF7ZS7WYM74HEQIR5KBXBOIJU/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-08-03T19:51:53Z","links":{"resolver":"https://pith.science/pith/TYF7ZS7WYM74HEQIR5KBXBOIJU","bundle":"https://pith.science/pith/TYF7ZS7WYM74HEQIR5KBXBOIJU/bundle.json","state":"https://pith.science/pith/TYF7ZS7WYM74HEQIR5KBXBOIJU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TYF7ZS7WYM74HEQIR5KBXBOIJU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:TYF7ZS7WYM74HEQIR5KBXBOIJU","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":"458aff258758998b1b2e883ecf4684a3b208387be89bfb607ab06fe3b18fb7bb","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2023-07-11T06:57:42Z","title_canon_sha256":"0661dbecdfff73a54593572edd5c05eb5c4a34cc7ec11e91248b5fbda753e29c"},"schema_version":"1.0","source":{"id":"2307.05049","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2307.05049","created_at":"2026-07-05T06:29:25Z"},{"alias_kind":"arxiv_version","alias_value":"2307.05049v1","created_at":"2026-07-05T06:29:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2307.05049","created_at":"2026-07-05T06:29:25Z"},{"alias_kind":"pith_short_12","alias_value":"TYF7ZS7WYM74","created_at":"2026-07-05T06:29:25Z"},{"alias_kind":"pith_short_16","alias_value":"TYF7ZS7WYM74HEQI","created_at":"2026-07-05T06:29:25Z"},{"alias_kind":"pith_short_8","alias_value":"TYF7ZS7W","created_at":"2026-07-05T06:29:25Z"}],"graph_snapshots":[{"event_id":"sha256:32aaffc329d7cd18e70f1000bba64810fd8ac6195e42a4a5f2212cef0837067c","target":"graph","created_at":"2026-07-05T06:29:25Z","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/2307.05049/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This work builds upon a well-established research tradition on modal logics of awareness. One of its aims is to export tools and techniques to other areas within modal logic. To this end, we illustrate a number of significant bridges with abstract argumentation, justification logics, the epistemic logic of knowing-what and deontic logic, where basic notions and definitional concepts can be expressed in terms of the awareness operator combined with the box modality. Furthermore, these conceptual links point to interesting properties of awareness sets beyond those standardly assumed in awareness","authors_text":"Antonio Yuste-Ginel (Universidad Complutense de Madrid, Carlo Proietti (ILC, CNR Genova, Fernando R. Vel\\'azquez-Quesada (University of Bergen, Italy), Norway), Spain)","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2023-07-11T06:57:42Z","title":"An Abstract Look at Awareness Models and Their Dynamics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2307.05049","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:0474c02a9dd8cbc39aad682629c9cc3a265c8bebcf7f771fbedacdeb10a52b71","target":"record","created_at":"2026-07-05T06:29:25Z","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":"458aff258758998b1b2e883ecf4684a3b208387be89bfb607ab06fe3b18fb7bb","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2023-07-11T06:57:42Z","title_canon_sha256":"0661dbecdfff73a54593572edd5c05eb5c4a34cc7ec11e91248b5fbda753e29c"},"schema_version":"1.0","source":{"id":"2307.05049","kind":"arxiv","version":1}},"canonical_sha256":"9e0bfccbf6c33fc392088f541b85c84d0de46cdf2d4882ff3de9bade347bff71","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9e0bfccbf6c33fc392088f541b85c84d0de46cdf2d4882ff3de9bade347bff71","first_computed_at":"2026-07-05T06:29:25.406068Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:29:25.406068Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"bx+vIKxHm4eiU1EIKhd6GE06WfpHYUP3CVj7Lftx71OaQFDtUYFXsallusv1Ka7SbwTsGgaE4ajYyCucDJTfAg==","signature_status":"signed_v1","signed_at":"2026-07-05T06:29:25.406463Z","signed_message":"canonical_sha256_bytes"},"source_id":"2307.05049","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0474c02a9dd8cbc39aad682629c9cc3a265c8bebcf7f771fbedacdeb10a52b71","sha256:32aaffc329d7cd18e70f1000bba64810fd8ac6195e42a4a5f2212cef0837067c"],"state_sha256":"896beed7d943eead6be30174165c80b2dc1e10af07081361bfde4320a3797687"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qYV3gonrH2eHAJBE9d06M2TLQ5og6YenF2q9scG86Md0ztRXItwGFPDhTTkKA7zwhM1VKf/xXfcqUJ0KXAAzCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T19:51:53.125971Z","bundle_sha256":"959ff72915901afca707d1646bfae28496ff8fcfe75b9334ffcc7b0def6be4ec"}}