Browsing: Logic-based Approaches