levi-harper-identities-connect-revision-contraction

OUT premise — summaries/2026/08/24/wiki-Belief_revision-chunk-1.md

Created 2026-08-24T17:11:06+00:00

The Levi Identity (K * P = (K − ¬P) + P) and Harper Identity (K − P = K ∩ (K * ¬P)) bidirectionally connect belief revision and belief contraction within the AGM framework