{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:WWW6MGYZCGKMLI5YL2A4XWECZB","short_pith_number":"pith:WWW6MGYZ","canonical_record":{"source":{"id":"2307.05040","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2023-07-11T06:49:47Z","cross_cats_sorted":[],"title_canon_sha256":"28d50043c7f96013fe996d8dad4a35a6f7662d4087294825990367fa11c2d8aa","abstract_canon_sha256":"ec14b6045e777c3da29d63da070160c9ac72329df368f1bc1bce39522ebe0e21"},"schema_version":"1.0"},"canonical_sha256":"b5ade61b191194c5a3b85e81cbd882c87fb562e091ae046fc9885def6c4234c3","source":{"kind":"arxiv","id":"2307.05040","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2307.05040","created_at":"2026-07-05T06:29:25Z"},{"alias_kind":"arxiv_version","alias_value":"2307.05040v1","created_at":"2026-07-05T06:29:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2307.05040","created_at":"2026-07-05T06:29:25Z"},{"alias_kind":"pith_short_12","alias_value":"WWW6MGYZCGKM","created_at":"2026-07-05T06:29:25Z"},{"alias_kind":"pith_short_16","alias_value":"WWW6MGYZCGKMLI5Y","created_at":"2026-07-05T06:29:25Z"},{"alias_kind":"pith_short_8","alias_value":"WWW6MGYZ","created_at":"2026-07-05T06:29:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:WWW6MGYZCGKMLI5YL2A4XWECZB","target":"record","payload":{"canonical_record":{"source":{"id":"2307.05040","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2023-07-11T06:49:47Z","cross_cats_sorted":[],"title_canon_sha256":"28d50043c7f96013fe996d8dad4a35a6f7662d4087294825990367fa11c2d8aa","abstract_canon_sha256":"ec14b6045e777c3da29d63da070160c9ac72329df368f1bc1bce39522ebe0e21"},"schema_version":"1.0"},"canonical_sha256":"b5ade61b191194c5a3b85e81cbd882c87fb562e091ae046fc9885def6c4234c3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:29:25.260222Z","signature_b64":"fCvpQDz1LEh0R5me6KrxIH0Sg1VUXBCOc0N2lYoXtTXvgrTY09W3cA8vuw5DGzSfhOPu7fkK6byoMjVm6RKqCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b5ade61b191194c5a3b85e81cbd882c87fb562e091ae046fc9885def6c4234c3","last_reissued_at":"2026-07-05T06:29:25.259752Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:29:25.259752Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2307.05040","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":"F19HUurCJprc6mylARgeRt4FGeV+7AZE8ViTVHI5Yw/MAWsQNRfb7b9wLfyja3anSFYRQFfjvsnS71w0UgsYBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T17:27:31.494920Z"},"content_sha256":"1de8dc1c575c52d5289cb8bdb0347817fb7f3ff908979e60b26dd352d98ced08","schema_version":"1.0","event_id":"sha256:1de8dc1c575c52d5289cb8bdb0347817fb7f3ff908979e60b26dd352d98ced08"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:WWW6MGYZCGKMLI5YL2A4XWECZB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Simple Axioms for Local Properties","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Louwe B. Kuijer (University of Liverpool), Philippe Balbiani (Institut de Recherche en Informatique de Toulouse), Wiebe van der Hoek (University of Liverpool)","submitted_at":"2023-07-11T06:49:47Z","abstract_excerpt":"Correspondence theory allows us to create sound and complete axiomatizations for modal logic on frames with certain properties. For example, if we restrict ourselves to transitive frames we should add the axiom $\\square \\phi \\rightarrow \\square\\square\\phi$ which, among other things, can be interpreted as positive introspection. One limitation of this technique is that the frame property and the axiom are assumed to hold globally, i.e., the relation is transitive throughout the frame, and the agent's knowledge satisfies positive introspection in every world.\n  In a modal logic with local proper"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2307.05040","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.05040/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":"BTgbytFe1xX1AxjjHjD6261kiZpi+I2Fzri2s/ijuCUgd6dXYjx4i5fbMO2/tX5Ahn/Cw0Gl8zLhm/rhkavLAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T17:27:31.495608Z"},"content_sha256":"044751881007b8b6f34d440c86a196fb3f38f75787f3c3411df869239eb166b4","schema_version":"1.0","event_id":"sha256:044751881007b8b6f34d440c86a196fb3f38f75787f3c3411df869239eb166b4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WWW6MGYZCGKMLI5YL2A4XWECZB/bundle.json","state_url":"https://pith.science/pith/WWW6MGYZCGKMLI5YL2A4XWECZB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WWW6MGYZCGKMLI5YL2A4XWECZB/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-03T17:27:31Z","links":{"resolver":"https://pith.science/pith/WWW6MGYZCGKMLI5YL2A4XWECZB","bundle":"https://pith.science/pith/WWW6MGYZCGKMLI5YL2A4XWECZB/bundle.json","state":"https://pith.science/pith/WWW6MGYZCGKMLI5YL2A4XWECZB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WWW6MGYZCGKMLI5YL2A4XWECZB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:WWW6MGYZCGKMLI5YL2A4XWECZB","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":"ec14b6045e777c3da29d63da070160c9ac72329df368f1bc1bce39522ebe0e21","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2023-07-11T06:49:47Z","title_canon_sha256":"28d50043c7f96013fe996d8dad4a35a6f7662d4087294825990367fa11c2d8aa"},"schema_version":"1.0","source":{"id":"2307.05040","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2307.05040","created_at":"2026-07-05T06:29:25Z"},{"alias_kind":"arxiv_version","alias_value":"2307.05040v1","created_at":"2026-07-05T06:29:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2307.05040","created_at":"2026-07-05T06:29:25Z"},{"alias_kind":"pith_short_12","alias_value":"WWW6MGYZCGKM","created_at":"2026-07-05T06:29:25Z"},{"alias_kind":"pith_short_16","alias_value":"WWW6MGYZCGKMLI5Y","created_at":"2026-07-05T06:29:25Z"},{"alias_kind":"pith_short_8","alias_value":"WWW6MGYZ","created_at":"2026-07-05T06:29:25Z"}],"graph_snapshots":[{"event_id":"sha256:044751881007b8b6f34d440c86a196fb3f38f75787f3c3411df869239eb166b4","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.05040/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Correspondence theory allows us to create sound and complete axiomatizations for modal logic on frames with certain properties. For example, if we restrict ourselves to transitive frames we should add the axiom $\\square \\phi \\rightarrow \\square\\square\\phi$ which, among other things, can be interpreted as positive introspection. One limitation of this technique is that the frame property and the axiom are assumed to hold globally, i.e., the relation is transitive throughout the frame, and the agent's knowledge satisfies positive introspection in every world.\n  In a modal logic with local proper","authors_text":"Louwe B. Kuijer (University of Liverpool), Philippe Balbiani (Institut de Recherche en Informatique de Toulouse), Wiebe van der Hoek (University of Liverpool)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2023-07-11T06:49:47Z","title":"Simple Axioms for Local Properties"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2307.05040","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:1de8dc1c575c52d5289cb8bdb0347817fb7f3ff908979e60b26dd352d98ced08","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":"ec14b6045e777c3da29d63da070160c9ac72329df368f1bc1bce39522ebe0e21","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2023-07-11T06:49:47Z","title_canon_sha256":"28d50043c7f96013fe996d8dad4a35a6f7662d4087294825990367fa11c2d8aa"},"schema_version":"1.0","source":{"id":"2307.05040","kind":"arxiv","version":1}},"canonical_sha256":"b5ade61b191194c5a3b85e81cbd882c87fb562e091ae046fc9885def6c4234c3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b5ade61b191194c5a3b85e81cbd882c87fb562e091ae046fc9885def6c4234c3","first_computed_at":"2026-07-05T06:29:25.259752Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:29:25.259752Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fCvpQDz1LEh0R5me6KrxIH0Sg1VUXBCOc0N2lYoXtTXvgrTY09W3cA8vuw5DGzSfhOPu7fkK6byoMjVm6RKqCw==","signature_status":"signed_v1","signed_at":"2026-07-05T06:29:25.260222Z","signed_message":"canonical_sha256_bytes"},"source_id":"2307.05040","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1de8dc1c575c52d5289cb8bdb0347817fb7f3ff908979e60b26dd352d98ced08","sha256:044751881007b8b6f34d440c86a196fb3f38f75787f3c3411df869239eb166b4"],"state_sha256":"fdbe74a607a040076859e98c34d5bd3df1cffe45f127744d1fbbf4b869767417"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QE4BH5Bn0iz54USht5JJC+r7QapKG7me60PnpNrDj634QjZJVc3K6/q6GDmSUdQVhqUehP05Pqffqtrp3Gv6Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T17:27:31.500549Z","bundle_sha256":"76f6718a66e68f2c000ca792facc53d8b4139d1deb0298199a847c52430fe702"}}