Towards a many-valued logic of quantified belief | lit.salon