{"_canonicalization":{"envelope_id":"axm_ + sha256(envelope minus {signature, axiom_id, anchors})","envelope_signature":"ed25519(envelope minus {signature, axiom_id})","json":"sort_keys=True, separators=(',',':'), ensure_ascii=False, allow_nan=False, utf-8","leaf_hash":"sha256(0x00 || canonical_json(envelope_full))","seal_signature":"ed25519(seal minus {signature, sig_algorithm})"},"axiom_id":"axm_545f06a31afd6dbc08907e757e11dc797c79a734c82bc4ba1050b9e9bfd85e1b","bitcoin_anchor":{"bitcoin_attestations":["bitcoin_block_949451"],"calendar_attestations":["https://finney.calendar.eternitywall.com","https://btc.calendar.catallaxy.com","https://alice.btc.calendar.opentimestamps.org","https://bob.btc.calendar.opentimestamps.org"],"ots_url":"/registry/data/substrate/anchors/77fc9c28fae777b81da5b495b3115474df6592dfac590333213d3bdf8b94a9b3.ots","stamped_at":"2026-05-15T03:00:03Z","status":"bitcoin"},"envelope":{"anchors":[{"chain":"crovia.axiom_graph","height":0,"merkle_proof":"spider_arxiv_retraction_v1","root_at_anchor":"spider_arxiv_retraction_v1"}],"axiom_id":"axm_545f06a31afd6dbc08907e757e11dc797c79a734c82bc4ba1050b9e9bfd85e1b","axiom_type":"AX.OBS","body":{"axiom_subtype":"research.arxiv_retraction.v1","category":"research","fingerprint":"ba97a72616ed4333a694bdd277d2c6918248ff4ad7ac31f210a32557210a2e65","published":"2024-10-05T18:07:03Z","receipt_hash":"ba97a72616ed4333a694bdd277d2c6918248ff4ad7ac31f210a32557210a2e65","schema":"spider.research.arxiv_retraction.v1","spider":"arxiv_retraction","spider_record":{"axiom_subtype":"research.arxiv_retraction.v1","category":"research","decision_hint":"POSITIVE","envelope_target":"AX.OBS","fingerprint":"ba97a72616ed4333a694bdd277d2c6918248ff4ad7ac31f210a32557210a2e65","observed_at":"2026-05-03T16:20:09.776706Z","parent_run_hash":null,"published":"2024-10-05T18:07:03Z","runtime_version":"0.1.0","schema":"spider.research.arxiv_retraction.v1","source_status":200,"source_url":"http://export.arxiv.org/api/query?search_query=cat:cs.AI+AND+%28abs:withdrawn+OR+abs:retracted%29&max_results=20&sortBy=submittedDate&sortOrder=descending","spider":"arxiv_retraction","summary_excerpt":"The KLM approach to defeasible reasoning introduces a weakened form of implication into classical logic. This allows one to incorporate exceptions to general rules into a logical system, and for old conclusions to be withdrawn upon learning new contradictory information. Standpoint logics are a group of logics, introduced to the field of Knowledge Representation in the last 5 years, which allow for multiple viewpoints to be integrated into the same ontology, even when certain viewpoints may hold contradicting beliefs. In this paper, we aim to integrate standpoints into KLM propositional logic in a restricted setting. We introduce the logical system of Defeasible Restricted Standpoint Logic (DRSL) and define its syntax and semantics. Specifically, we integrate ranked interpretations and standpoint structures, which provide the semantics for propositional KLM and propositional standpoint logic respectively, in order to introduce ranked standpoint structures for DRSL. Moreover, we extend ","title":"Towards Propositional KLM-Style Defeasible Standpoint Logics","url":"https://arxiv.org/pdf/2410.04245v1","vendor":"arxiv"},"summary":"The KLM approach to defeasible reasoning introduces a weakened form of implication into classical logic. This allows one to incorporate exceptions to general rules into a logical system, and for old conclusions to be withdrawn upon learning new contradictory information. Standpoint logics are a group of logics, introduced to the field of Knowledge Representation in the last 5 years, which allow for multiple viewpoints to be integrated into the same ontology, even when certain viewpoints may hold contradicting beliefs. In this paper, we aim to integrate standpoints into KLM propositional logic in a restricted setting. We introduce the logical system of Defeasible Restricted Standpoint Logic (DRSL) and define its syntax and semantics. Specifically, we integrate ranked interpretations and standpoint structures, which provide the semantics for propositional KLM and propositional standpoint logic respectively, in order to introduce ranked standpoint structures for DRSL. Moreover, we extend ","title":"Towards Propositional KLM-Style Defeasible Standpoint Logics","vendor":"arxiv"},"confidence":{"method":"deterministic"},"decision":"POSITIVE","issued_at":"2026-05-03T16:20:09Z","notes":"Spider arxiv_retraction (research) research.arxiv_retraction.v1","object":{"captured_by":"crovia.spider.arxiv_retraction","primary_source_url":"https://arxiv.org/pdf/2410.04245v1"},"predecessors":[],"schema":"crovia.axiom.v1","signature":"ed25519:4edd25d34173a63f025534c9a3b97b80c5355d8fdfdbe223cde72b74a5c3ac6e511c1e2684600b1593ff7adff49e43107956a0f35062106f424a5ac8ca30ad08","signer":"crovia.substrate","subject":{"observed_at":"2026-05-03T16:20:09Z","source_collector":"spider:arxiv_retraction","target_id":"https://arxiv.org/pdf/2410.04245v1"},"tsa":{"authority":"crovia.substrate.bootstrap","rfc3161_token":"{\"kind\":\"crovia.bootstrap.tsa\",\"source_jsonl\":\"/opt/crovia/spider/data/research/arxiv_retraction_v1.jsonl\",\"source_seal_merkle_root\":\"spider_arxiv_retraction_v1\",\"upgrade_path\":\"Sessione H \\u2014 OpenTimestamps weekly anchor\"}"},"zk_mode":"clear","zk_proof":null},"ledger":{"leaf_hash":"9890369b3ec59703b5c0941aeb558c987ef85db14c635cc9827894f3eea4c330","leaf_index":111930,"ledger_path":"/opt/crovia/substrate/axiom_ledger.jsonl"},"merkle_proof":{"hash_alg":"sha256","leaf_prefix":"0x00","node_prefix":"0x01","odd_leaf_rule":"duplicate_last","path":[{"sibling":"4ffa43402c2ecafc450a7c4ae1062f603727d411087d8d4ff0425ca03dc52dfd","side":"right"},{"sibling":"9fae2664e5a92c10229bf7e13d5ed03bdf637fec26cd8c4442df6bb0fc3f4795","side":"left"},{"sibling":"40c8247f052e40391e6d0cda65135d0da9c1a87f217aa8933d275768aaacb7e0","side":"right"},{"sibling":"1fe18d6e1f125ddc853ec1ff04103ac3853d57508235b90088c539ca2ae65408","side":"left"},{"sibling":"b8d0b4c7a94732eaec522fc5042dc6d11f071f5280501aa7f3c5c58084a0d4b9","side":"left"},{"sibling":"787e416b9f66536a62992df40e090f8c704839faf8301403b2d1bc76052ed5c5","side":"left"},{"sibling":"19b85bdc8998a840b5999169743b627ed26d5e26bd05a788142a0e4fbfe2a2dc","side":"right"},{"sibling":"0994d51d2178913b0e3ac7346ceed16c5ea436d841a8e7f28a99362fa269bad0","side":"right"},{"sibling":"015d2ce3c58c7a790ad078159267c63cd54f9ae7e20530115a6a423419cefe22","side":"left"},{"sibling":"5bcdb02d4310fc8bfd791789d990714b0a10f44358ffa98c446f1755352c49b8","side":"right"},{"sibling":"cf8897e1feec248f5d05e2cafec4f8c2739e2005227d28b5ccc8cfa11ed66ee4","side":"left"},{"sibling":"a6d6e5bc888edc394757fbba02b675bac6ad0831e36a6f5ebbaa4e5548f25603","side":"right"},{"sibling":"76d7c4385d71ae8104107105be66eddb792e01ed6e493db5a9b4eec5441abb76","side":"left"},{"sibling":"b03f005860bf95148ea89c703a32ca19ab7a2ca71b58bb628ff94a9edb8703b0","side":"left"},{"sibling":"21d1e30b556f553dc939fddc23e6367f0a7755ebe3dd489dc0001cef017beb7f","side":"right"},{"sibling":"f2817ab288b5324fe49770372c7a10f33f7cd11005f8d4c0a730316f5229dc98","side":"left"},{"sibling":"725fac972e772ca0dc598810ea1abc70df472f72d2d6ab8a0baee2b80e5d2f4c","side":"left"},{"sibling":"98fc57dfef8873b512edc8340f7181df57302bb96777625e072235c62d7c5895","side":"right"}]},"schema":"crovia.axiom_proof.v1","seal":{"first_collector_run_id":"","first_receipt_hash":"","jsonl_path":"/opt/crovia/substrate/axiom_ledger.jsonl","key_id":"430895f101d38164","last_collector_run_id":"","last_receipt_hash":"","leaf_count":134292,"merkle_root":"77fc9c28fae777b81da5b495b3115474df6592dfac590333213d3bdf8b94a9b3","public_key_hex":"cf742e26f75669dc673cb5c0786a1ae23ae8ca19c347317192ce40c28a7ff25c","run_id":"hourly_json_retrofit_20260515T023701Z","schema":"crovia.seal.v1","seal_family_version":"crovia-seal-family/1","seal_kind":"substrate_batch","sealed_at":"2026-05-15T02:37:25Z","sig_algorithm":"ed25519","signature":"68107a834b00b24f5d4501e5ec727445311f132a486567ecc4c72a4e6dff24c8c21f2de3105293353ba5fdbe370d032819af6aa70f694e2e39b6af6737507009","signer_version":"1.1.0"},"trust_root":{"key_id":"430895f101d38164","public_key_hex":"cf742e26f75669dc673cb5c0786a1ae23ae8ca19c347317192ce40c28a7ff25c","signature_algorithm":"ed25519","url":"/registry/canon/TRUST_ROOT.md"},"verifier":{"spec":"/registry/canon/AXIOM_RECEIPT_v1.md","url":"/v/axm_545f06a31afd6dbc08907e757e11dc797c79a734c82bc4ba1050b9e9bfd85e1b"}}