1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2023
A Kripke-Lewis semantics for belief update and belief revision
Giacomo Bonanno
We provide a new characterization of both belief update and belief revision in terms of a Kripke-Lewis semantics. We consider frames consisting of a set of states, a Kripke belief…
cs.AI2023★ 1 cited
Characterization of AGM Belief Contraction in Terms of Conditionals
Giacomo Bonanno
We provide a semantic characterization of AGM belief contraction based on frames consisting of a Kripke belief relation and a Stalnaker-Lewis selection function. The central idea i…