1. There are two distinct lines of research that aim at modelling belief and knowledge: modal logic and uncertainty theories. Modal logic extends classical logic by introducing knowledge or belief...