We could stick to our standard logic (quantification theory with identity and without ineliminable singular terms) and provide it with predicates and adomain of quantification suited to the topic of modality.