{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:6FQOQIJ2LWW3LKWRRQJDLYPIR6","short_pith_number":"pith:6FQOQIJ2","canonical_record":{"source":{"id":"1805.02912","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-05-08T09:20:21Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"aa05039305805ccc40c510dcf6db939f0e74c869433bfbca365742db79bba021","abstract_canon_sha256":"ef0c8ba79b1a80eefeda50672373c485a9ed0ff43686a845619b85a7bebbb238"},"schema_version":"1.0"},"canonical_sha256":"f160e8213a5dadb5aad18c1235e1e88fa8566c74f4e81de95efaf6d3fb9af527","source":{"kind":"arxiv","id":"1805.02912","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.02912","created_at":"2026-05-18T00:16:35Z"},{"alias_kind":"arxiv_version","alias_value":"1805.02912v1","created_at":"2026-05-18T00:16:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.02912","created_at":"2026-05-18T00:16:35Z"},{"alias_kind":"pith_short_12","alias_value":"6FQOQIJ2LWW3","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_16","alias_value":"6FQOQIJ2LWW3LKWR","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_8","alias_value":"6FQOQIJ2","created_at":"2026-05-18T12:32:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:6FQOQIJ2LWW3LKWRRQJDLYPIR6","target":"record","payload":{"canonical_record":{"source":{"id":"1805.02912","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-05-08T09:20:21Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"aa05039305805ccc40c510dcf6db939f0e74c869433bfbca365742db79bba021","abstract_canon_sha256":"ef0c8ba79b1a80eefeda50672373c485a9ed0ff43686a845619b85a7bebbb238"},"schema_version":"1.0"},"canonical_sha256":"f160e8213a5dadb5aad18c1235e1e88fa8566c74f4e81de95efaf6d3fb9af527","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:16:35.287385Z","signature_b64":"JZIgrNyCA95zdGiGuLKPzxm9ErK/JoOUPkJp/7aUQiU07cMg0PC6WJBU97mwg9deEEsXbfsOY+w4gNNBywNXCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f160e8213a5dadb5aad18c1235e1e88fa8566c74f4e81de95efaf6d3fb9af527","last_reissued_at":"2026-05-18T00:16:35.286688Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:16:35.286688Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1805.02912","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-18T00:16:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sToap0Rz7heQ3lfGg2gjE4c9rsMfKkZ86cEZPOrX8kwu2BzqHhpevVQgH2AEdz4wd8nN6DkvRylcpNf27meDDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T10:06:43.555310Z"},"content_sha256":"8ecdc0cf85006a3831ea5dd4f68f126420061cfa75f0c9779921fa202cd3336e","schema_version":"1.0","event_id":"sha256:8ecdc0cf85006a3831ea5dd4f68f126420061cfa75f0c9779921fa202cd3336e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:6FQOQIJ2LWW3LKWRRQJDLYPIR6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Complexity of Limited Belief Reasoning -- The Quantifier-Free Case","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Abdallah Saffidine, Christoph Schwering, Yijia Chen","submitted_at":"2018-05-08T09:20:21Z","abstract_excerpt":"The classical view of epistemic logic is that an agent knows all the logical consequences of their knowledge base. This assumption of logical omniscience is often unrealistic and makes reasoning computationally intractable. One approach to avoid logical omniscience is to limit reasoning to a certain belief level, which intuitively measures the reasoning \"depth.\" This paper investigates the computational complexity of reasoning with belief levels. First we show that while reasoning remains tractable if the level is constant, the complexity jumps to PSPACE-complete -- that is, beyond classical r"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.02912","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-18T00:16:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SMD4/dlIaO6H+MUhlTCCN3ZS7N1fVXA6+2OgVnGwS+b6utzZ+DMdN7Bu70hDYIn3aaz1LcYKZzFQt+Def6x1CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T10:06:43.555683Z"},"content_sha256":"d10a4f033ce38e12f80953a6250c2be457abc1a5184962a4a189d671b1eb34ee","schema_version":"1.0","event_id":"sha256:d10a4f033ce38e12f80953a6250c2be457abc1a5184962a4a189d671b1eb34ee"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6FQOQIJ2LWW3LKWRRQJDLYPIR6/bundle.json","state_url":"https://pith.science/pith/6FQOQIJ2LWW3LKWRRQJDLYPIR6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6FQOQIJ2LWW3LKWRRQJDLYPIR6/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-06-05T10:06:43Z","links":{"resolver":"https://pith.science/pith/6FQOQIJ2LWW3LKWRRQJDLYPIR6","bundle":"https://pith.science/pith/6FQOQIJ2LWW3LKWRRQJDLYPIR6/bundle.json","state":"https://pith.science/pith/6FQOQIJ2LWW3LKWRRQJDLYPIR6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6FQOQIJ2LWW3LKWRRQJDLYPIR6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:6FQOQIJ2LWW3LKWRRQJDLYPIR6","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":"ef0c8ba79b1a80eefeda50672373c485a9ed0ff43686a845619b85a7bebbb238","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-05-08T09:20:21Z","title_canon_sha256":"aa05039305805ccc40c510dcf6db939f0e74c869433bfbca365742db79bba021"},"schema_version":"1.0","source":{"id":"1805.02912","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.02912","created_at":"2026-05-18T00:16:35Z"},{"alias_kind":"arxiv_version","alias_value":"1805.02912v1","created_at":"2026-05-18T00:16:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.02912","created_at":"2026-05-18T00:16:35Z"},{"alias_kind":"pith_short_12","alias_value":"6FQOQIJ2LWW3","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_16","alias_value":"6FQOQIJ2LWW3LKWR","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_8","alias_value":"6FQOQIJ2","created_at":"2026-05-18T12:32:08Z"}],"graph_snapshots":[{"event_id":"sha256:d10a4f033ce38e12f80953a6250c2be457abc1a5184962a4a189d671b1eb34ee","target":"graph","created_at":"2026-05-18T00:16:35Z","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":"The classical view of epistemic logic is that an agent knows all the logical consequences of their knowledge base. This assumption of logical omniscience is often unrealistic and makes reasoning computationally intractable. One approach to avoid logical omniscience is to limit reasoning to a certain belief level, which intuitively measures the reasoning \"depth.\" This paper investigates the computational complexity of reasoning with belief levels. First we show that while reasoning remains tractable if the level is constant, the complexity jumps to PSPACE-complete -- that is, beyond classical r","authors_text":"Abdallah Saffidine, Christoph Schwering, Yijia Chen","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-05-08T09:20:21Z","title":"The Complexity of Limited Belief Reasoning -- The Quantifier-Free Case"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.02912","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:8ecdc0cf85006a3831ea5dd4f68f126420061cfa75f0c9779921fa202cd3336e","target":"record","created_at":"2026-05-18T00:16:35Z","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":"ef0c8ba79b1a80eefeda50672373c485a9ed0ff43686a845619b85a7bebbb238","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-05-08T09:20:21Z","title_canon_sha256":"aa05039305805ccc40c510dcf6db939f0e74c869433bfbca365742db79bba021"},"schema_version":"1.0","source":{"id":"1805.02912","kind":"arxiv","version":1}},"canonical_sha256":"f160e8213a5dadb5aad18c1235e1e88fa8566c74f4e81de95efaf6d3fb9af527","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f160e8213a5dadb5aad18c1235e1e88fa8566c74f4e81de95efaf6d3fb9af527","first_computed_at":"2026-05-18T00:16:35.286688Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:16:35.286688Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"JZIgrNyCA95zdGiGuLKPzxm9ErK/JoOUPkJp/7aUQiU07cMg0PC6WJBU97mwg9deEEsXbfsOY+w4gNNBywNXCA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:16:35.287385Z","signed_message":"canonical_sha256_bytes"},"source_id":"1805.02912","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8ecdc0cf85006a3831ea5dd4f68f126420061cfa75f0c9779921fa202cd3336e","sha256:d10a4f033ce38e12f80953a6250c2be457abc1a5184962a4a189d671b1eb34ee"],"state_sha256":"86d3c76f4526e39b0a501c05e8cd975402a4143247b363271390ae7f58df4987"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6sUL2j0o9RvTyNwZlwqCJJTWF7uBHCJ0lr1ZjsV01yCRlyhHZaQGci8VQ/o5wPj/iNjExY/tGsudwQ4PnrgwCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T10:06:43.557783Z","bundle_sha256":"69913c5576aa8728a28916c77f204e17bb98f4581e05d38e33b139d277d2c2d8"}}