Three Approaches to Finitude in Belief Change
Sven Ove Hansson · 2007
Since neither a human mind nor a computer can deal directly with infinite structures, well-behaved models of belief change should operate exclusively on belief states that have a finite representation. Three ways to achieve this without resorting to a finite language are investigated: belief bases, specified meet contraction, and focused propositional extenders. Close connections are shown to hold between the three approaches.