Browsing: lógica formal