Constant-Domain Quantified Modal Logics with Rigid and Non-rigid Designation --