Tag search: propositional-attitudes