An elementary belief function logic