A deductive model of belief