{"id":"arxiv/2602.23302","url":"https://arxiv.org/abs/2602.23302","tags":["cs.AI","cs.LO","math.LO"],"score":0,"title":"The logic of KM belief update is contained in the logic of AGM belief revision","domain":"cs.AI","source":"arxiv","authors":["Giacomo Bonanno"],"reviews":0,"subject":"cs.AI","summary":"For each axiom of KM belief update we provide a corresponding axiom in a modal logic containing three modal operators: a unimodal belief operator $B$, a bimodal conditional operator $>$ and the unimodal necessity operator $\\square$. We then compare the resulting logic to the similar logic obtained from converting the AGM axioms of belief revision into modal axioms and show that the latter contains the former. Denoting the latter by $\\mathcal L_{AGM}$ and the former by $\\mathcal L_{KM}$ we show that every axiom of $\\mathcal L_{KM}$ is a theorem of $\\mathcal L_{AGM}$. Thus AGM belief revision…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-02-26","reactions":{}}