Browsing: formal logic