A Resolution Method for Quantified Modal Logics of Knowledge and Belief.