{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:GWTZ24UT2TJHQAAA6GLIS6LOHL","short_pith_number":"pith:GWTZ24UT","canonical_record":{"source":{"id":"1702.01601","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-02-06T13:05:58Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"8886ac83e4d803a259d71c404e118055052e2dd85d18fd4cafe23a249cba48f9","abstract_canon_sha256":"2979850d7c554f5408f83832e566b52c207af65d12e1d9c53c79d3c5b925971e"},"schema_version":"1.0"},"canonical_sha256":"35a79d7293d4d2780000f19689796e3ad4970adc1d950ab8ca47b6c76c1d711e","source":{"kind":"arxiv","id":"1702.01601","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.01601","created_at":"2026-05-18T00:51:22Z"},{"alias_kind":"arxiv_version","alias_value":"1702.01601v1","created_at":"2026-05-18T00:51:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.01601","created_at":"2026-05-18T00:51:22Z"},{"alias_kind":"pith_short_12","alias_value":"GWTZ24UT2TJH","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_16","alias_value":"GWTZ24UT2TJHQAAA","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_8","alias_value":"GWTZ24UT","created_at":"2026-05-18T12:31:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:GWTZ24UT2TJHQAAA6GLIS6LOHL","target":"record","payload":{"canonical_record":{"source":{"id":"1702.01601","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-02-06T13:05:58Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"8886ac83e4d803a259d71c404e118055052e2dd85d18fd4cafe23a249cba48f9","abstract_canon_sha256":"2979850d7c554f5408f83832e566b52c207af65d12e1d9c53c79d3c5b925971e"},"schema_version":"1.0"},"canonical_sha256":"35a79d7293d4d2780000f19689796e3ad4970adc1d950ab8ca47b6c76c1d711e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:51:22.883839Z","signature_b64":"DJgFOuyJQxCYY4VZDplnaVWPNkamJGUREzAPnBjeF4a1Th7h2eo4zoBPzTf1fbUPFkVFmnNjUVQ/YNTN+DoQCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"35a79d7293d4d2780000f19689796e3ad4970adc1d950ab8ca47b6c76c1d711e","last_reissued_at":"2026-05-18T00:51:22.883148Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:51:22.883148Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1702.01601","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:51:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ch6gOdRvHpY2O1Vxbf1jMFcd8Q+CLJjUrbRLdhO/krSPl5m4IlFpfn4JsUySWS10RI48zjxtO2bp/1DSQjuWCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T08:50:13.063843Z"},"content_sha256":"3c230ff70f99d30dbf5afe3ad36c095fb5d11d71ce594b32fc1c462b8e56d7bc","schema_version":"1.0","event_id":"sha256:3c230ff70f99d30dbf5afe3ad36c095fb5d11d71ce594b32fc1c462b8e56d7bc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:GWTZ24UT2TJHQAAA6GLIS6LOHL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Exploring the bidimensional space: A dynamic logic point of view","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"David Fern\\'andez-Duque, Emiliano Lorini, Philippe Balbiani","submitted_at":"2017-02-06T13:05:58Z","abstract_excerpt":"We present a family of logics for reasoning about agents' positions and motion in the plane which have several potential applications in the area of multi-agent systems (MAS), such as multi-agent planning and robotics. The most general logic includes (i) atomic formulas for representing the truth of a given fact or the presence of a given agent at a certain position of the plane, (ii) atomic programs corresponding to the four basic orientations in the plane (up, down, left, right) as well as the four program constructs of propositional dynamic logic (sequential composition, nondeterministic co"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.01601","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:51:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3CqZINuAG2R5YtJCZ1fHFeAHoa3BOaia/oXzFQlyM7SgBtoItmV2R5C9PlWgkZhDDN5/N3HiQC+UPQdBBOckDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T08:50:13.064467Z"},"content_sha256":"de2ab0ae5911244da5d9777a1cc57c0e3e9712a1eeb6cb3c628ef6e97e0e7d2b","schema_version":"1.0","event_id":"sha256:de2ab0ae5911244da5d9777a1cc57c0e3e9712a1eeb6cb3c628ef6e97e0e7d2b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GWTZ24UT2TJHQAAA6GLIS6LOHL/bundle.json","state_url":"https://pith.science/pith/GWTZ24UT2TJHQAAA6GLIS6LOHL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GWTZ24UT2TJHQAAA6GLIS6LOHL/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-04T08:50:13Z","links":{"resolver":"https://pith.science/pith/GWTZ24UT2TJHQAAA6GLIS6LOHL","bundle":"https://pith.science/pith/GWTZ24UT2TJHQAAA6GLIS6LOHL/bundle.json","state":"https://pith.science/pith/GWTZ24UT2TJHQAAA6GLIS6LOHL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GWTZ24UT2TJHQAAA6GLIS6LOHL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:GWTZ24UT2TJHQAAA6GLIS6LOHL","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":"2979850d7c554f5408f83832e566b52c207af65d12e1d9c53c79d3c5b925971e","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-02-06T13:05:58Z","title_canon_sha256":"8886ac83e4d803a259d71c404e118055052e2dd85d18fd4cafe23a249cba48f9"},"schema_version":"1.0","source":{"id":"1702.01601","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.01601","created_at":"2026-05-18T00:51:22Z"},{"alias_kind":"arxiv_version","alias_value":"1702.01601v1","created_at":"2026-05-18T00:51:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.01601","created_at":"2026-05-18T00:51:22Z"},{"alias_kind":"pith_short_12","alias_value":"GWTZ24UT2TJH","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_16","alias_value":"GWTZ24UT2TJHQAAA","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_8","alias_value":"GWTZ24UT","created_at":"2026-05-18T12:31:18Z"}],"graph_snapshots":[{"event_id":"sha256:de2ab0ae5911244da5d9777a1cc57c0e3e9712a1eeb6cb3c628ef6e97e0e7d2b","target":"graph","created_at":"2026-05-18T00:51:22Z","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 present a family of logics for reasoning about agents' positions and motion in the plane which have several potential applications in the area of multi-agent systems (MAS), such as multi-agent planning and robotics. The most general logic includes (i) atomic formulas for representing the truth of a given fact or the presence of a given agent at a certain position of the plane, (ii) atomic programs corresponding to the four basic orientations in the plane (up, down, left, right) as well as the four program constructs of propositional dynamic logic (sequential composition, nondeterministic co","authors_text":"David Fern\\'andez-Duque, Emiliano Lorini, Philippe Balbiani","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-02-06T13:05:58Z","title":"Exploring the bidimensional space: A dynamic logic point of view"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.01601","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:3c230ff70f99d30dbf5afe3ad36c095fb5d11d71ce594b32fc1c462b8e56d7bc","target":"record","created_at":"2026-05-18T00:51:22Z","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":"2979850d7c554f5408f83832e566b52c207af65d12e1d9c53c79d3c5b925971e","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-02-06T13:05:58Z","title_canon_sha256":"8886ac83e4d803a259d71c404e118055052e2dd85d18fd4cafe23a249cba48f9"},"schema_version":"1.0","source":{"id":"1702.01601","kind":"arxiv","version":1}},"canonical_sha256":"35a79d7293d4d2780000f19689796e3ad4970adc1d950ab8ca47b6c76c1d711e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"35a79d7293d4d2780000f19689796e3ad4970adc1d950ab8ca47b6c76c1d711e","first_computed_at":"2026-05-18T00:51:22.883148Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:51:22.883148Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DJgFOuyJQxCYY4VZDplnaVWPNkamJGUREzAPnBjeF4a1Th7h2eo4zoBPzTf1fbUPFkVFmnNjUVQ/YNTN+DoQCA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:51:22.883839Z","signed_message":"canonical_sha256_bytes"},"source_id":"1702.01601","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3c230ff70f99d30dbf5afe3ad36c095fb5d11d71ce594b32fc1c462b8e56d7bc","sha256:de2ab0ae5911244da5d9777a1cc57c0e3e9712a1eeb6cb3c628ef6e97e0e7d2b"],"state_sha256":"be3b4553c66858e9ddf8e0944f6153030e3ae0c644987501230aaa9fd7d89900"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mxURm4hWixDIb9zkfyKtWcBgrv2+mfG9wdafvInAqM2IG1oRqKrLWK1pT0yzzG0YQ2yCN727/Sx7wRNplk7EDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T08:50:13.067819Z","bundle_sha256":"c742f8724264251b43f397043f32a4772df00b4bc9bec9b0f09c77f3a97771bb"}}