Quantified modal logic: Non-normal worlds and propositional attitudes