Many-sorted logic translations collapse intensional distinctions when modal operators are encoded as...