Representación del conocimiento y demostración automática mediante sistemas de lógica modal ocasional