Credibility Logic and Policy Analysis